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
Tip revision: 8276bec446e2c34a165a085a3532592ff4db25c7 authored by Mario Alviano on 20 June 2015, 12:43:31 UTC
At most 60 seconds for each check in progressionBinaryMinimize.
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 |
Computing file changes ...