https://github.com/alviano/aspino
Revision 8276bec446e2c34a165a085a3532592ff4db25c7 authored by Mario Alviano on 20 June 2015, 12:43:31 UTC, committed by Mario Alviano on 20 June 2015, 12:43:31 UTC
Reset sum of lbd and conflictsrestarts during minimization.
1 parent 4c17f5e
History
Tip revision: 8276bec446e2c34a165a085a3532592ff4db25c7 authored by Mario Alviano on 20 June 2015, 12:43:31 UTC
At most 60 seconds for each check in progressionBinaryMinimize.
Tip revision: 8276bec
File Mode Size
patches
src
tests
.gitignore -rw-r--r-- 242 bytes
LICENSE -rw-r--r-- 11.1 KB
Makefile -rw-r--r-- 1.8 KB
README.md -rw-r--r-- 289 bytes
bootstrap.sh -rwxr-xr-x 669 bytes

README.md

back to top