psuter/ScalaZ3 — pull request #1 by eaubin (2011-12-15 01:06:59+00:00)
Title: z3 for osx 

Since z3 had an osx release last week I took a crack at getting it to compile on my mac. A few of the tests fail though:

[info] SatSolver:
[info] - Sat solver *** FAILED ***
[info] java.util.NoSuchElementException: None.get
[info] at scala.None$.get(Option.scala:274)
[info] at scala.None$.get(Option.scala:272)
[info] at SatSolver$$anonfun$1$$anonfun$DPLL$1$4.apply(SatSolver.scala:53)
[info] at SatSolver$$anonfun$1$$anonfun$DPLL$1$4.apply(SatSolver.scala:53)
[info] at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:194)
[info] at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:194)
[info] at scala.collection.mutable.HashMap$$anonfun$foreach$1.apply(HashMap.scala:93)
[info] at scala.collection.mutable.HashMap$$anonfun$foreach$1.apply(HashMap.scala:93)
[info] at scala.collection.Iterator$class.foreach(Iterator.scala:660)
[info] at scala.collection.mutable.HashTable$$anon$1.foreach(HashTable.scala:157)
[info] ...

[info] - Arrays *** FAILED ***
[info] Some(1) did not equal Some(42) (Arrays.scala:64)

[info] - Literals *** FAILED ***
[info] 3 did not equal 4 (Literals.scala:60)