equal
deleted
inserted
replaced
1 Version 2010 |
1 Version 2010 |
2 |
2 |
3 * Added and implemented "binary_ints" and "bits" options |
3 * Added and implemented "binary_ints" and "bits" options |
4 * Added "std" option and implemented support for nonstandard models |
4 * Added "std" option and implemented support for nonstandard models |
|
5 * Added support for local definitions |
|
6 * Optimized "Multiset.multiset" |
5 * Fixed soundness bugs related to "destroy_constrs" optimization and record |
7 * Fixed soundness bugs related to "destroy_constrs" optimization and record |
6 getters |
8 getters |
7 * Renamed "MiniSatJNI", "zChaffJNI", "BerkMinAlloy", and "SAT4JLight" to |
9 * Renamed "MiniSatJNI", "zChaffJNI", "BerkMinAlloy", and "SAT4JLight" to |
8 "MiniSat_JNI", "zChaff_JNI", "BerkMin_Alloy", and "SAT4J_Light" |
10 "MiniSat_JNI", "zChaff_JNI", "BerkMin_Alloy", and "SAT4J_Light" |
9 |
11 |