[opam-devel] Apscud on osx < 10.9 (was Re: aspcud 1.9.0 packages on Archlinux)

Roberto Di Cosmo roberto at dicosmo.org
Thu Mar 27 12:52:46 GMT 2014


Just tested with your cudf file, and aspcud works perfectly here (Debian/amd64),
so it's probably an issue with the aspcud port on your platform

$ aspcud /tmp/solver-error-76189-1.cudf /tmp/sol "-count(removed),-notuptodate(solution),-count(new)"
clasp version 3.0.1
Reading from /tmp/gringo.out7yQheY
Solving...
Answer: 1

OPTIMUM FOUND

Models       : 1     
  Optimum    : yes
Optimization : 0 0 0
Calls        : 1
Time         : 0.000s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 0.000s

Choices      : 0       
Conflicts    : 1        (Analyzed: 0)
Restarts     : 0       
Model-Level  : 0.0     
Problems     : 1        (Average Length: 0.00 Splits: 0)
Lemmas       : 0        (Deleted: 0)
  Binary     : 0        (Ratio:   0.00%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 0        (Average:  0.00 Max:   0 Sum:      0)
  Executed   : 0        (Average:  0.00 Max:   0 Sum:      0 Ratio:   0.00%)
  Bounded    : 0        (Average:  0.00 Max:   0 Sum:      0 Ratio: 100.00%)

Atoms        : 659     
Rules        : 661      (1: 658 6: 3)
Bodies       : 1       
Equivalences : 1315     (Atom=Atom: 657 Body=Body: 0 Other: 658)
Tight        : Yes
Variables    : 0        (Eliminated:    0 Frozen:    0)
Constraints  : 0        (Binary:  0.0% Ternary:  0.0% Other:  0.0%)


On Thu, Mar 27, 2014 at 12:15:26PM +0100, Daniel Bünzli wrote:
> 
> 
> Le jeudi, 27 mars 2014 à 01:04, Amir Chaudhry a écrit :
> 
> > I just did `brew remove opam` and `brew install opam --HEAD` and have the same warning message after an `opam update`.
> 
> Does `brew install opam --HEAD` really work (I used to install opam manually) ? I tried that an if I do `opam --git-version` I get an empty line.  
> In any case if that works I still get the external solver failure. I attached the file to this message.
> 
> Best,
> 
> Daniel


> _______________________________________________
> opam-devel mailing list
> opam-devel at lists.ocaml.org
> http://lists.ocaml.org/listinfo/opam-devel


-- 
Roberto Di Cosmo
 
------------------------------------------------------------------
Professeur               En delegation a l'INRIA
PPS                      E-mail: roberto at dicosmo.org
Universite Paris Diderot WWW  : http://www.dicosmo.org
Case 7014                Tel  : ++33-(0)1-57 27 92 20
5, Rue Thomas Mann       
F-75205 Paris Cedex 13   Identica: http://identi.ca/rdicosmo
FRANCE.                  Twitter: http://twitter.com/rdicosmo
------------------------------------------------------------------
Attachments:
MIME accepted, Word deprecated
      http://www.gnu.org/philosophy/no-word-attachments.html
------------------------------------------------------------------
Office location:
 
Bureau 3020 (3rd floor)
Batiment Sophie Germain
Avenue de France
Metro Bibliotheque Francois Mitterrand, ligne 14/RER C
-----------------------------------------------------------------
GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3                        


More information about the opam-devel mailing list