https://github.com/alviano/aspino
Revision c3d12bc8f72414cbfc294543d2768b14c631403f authored by Mario Alviano on 17 May 2017, 17:24:30 UTC, committed by Mario Alviano on 17 May 2017, 17:24:30 UTC
1 parent e31c3b4
Tip revision: c3d12bc8f72414cbfc294543d2768b14c631403f authored by Mario Alviano on 17 May 2017, 17:24:30 UTC
Add Parallel MaxSat.
Add Parallel MaxSat.
Tip revision: c3d12bc
File | Mode | Size |
---|---|---|
patches | ||
src | ||
tests | ||
.gitignore | -rw-r--r-- | 242 bytes |
LICENSE | -rw-r--r-- | 11.1 KB |
Makefile | -rw-r--r-- | 2.3 KB |
README.md | -rw-r--r-- | 289 bytes |
bootstrap.sh | -rwxr-xr-x | 669 bytes |
Computing file changes ...