equal
deleted
inserted
replaced
433 - Renamed "MiniSatJNI", "zChaffJNI", "BerkMinAlloy", and |
433 - Renamed "MiniSatJNI", "zChaffJNI", "BerkMinAlloy", and |
434 "SAT4JLight" to "MiniSat_JNI", "zChaff_JNI", "BerkMin_Alloy", and |
434 "SAT4JLight" to "MiniSat_JNI", "zChaff_JNI", "BerkMin_Alloy", and |
435 "SAT4J_Light". INCOMPATIBILITY. |
435 "SAT4J_Light". INCOMPATIBILITY. |
436 - Removed "skolemize", "uncurry", "sym_break", "flatten_prop", |
436 - Removed "skolemize", "uncurry", "sym_break", "flatten_prop", |
437 "sharing_depth", and "show_skolems" options. INCOMPATIBILITY. |
437 "sharing_depth", and "show_skolems" options. INCOMPATIBILITY. |
|
438 - Removed "nitpick_intro" attribute. INCOMPATIBILITY. |
438 |
439 |
439 * Moved the SMT binding into the HOL image. |
440 * Moved the SMT binding into the HOL image. |
440 |
441 |
441 |
442 |
442 *** HOLCF *** |
443 *** HOLCF *** |