https://github.com/alviano/aspino
Revision 2eea4197c61ab5d990af53bbaf422567156b6dd5 authored by Mario Alviano on 21 December 2014, 14:20:27 UTC, committed by Mario Alviano on 21 December 2014, 14:20:27 UTC
Add minimization of cores based on conflict restriction.
Add preprocessing (disabled).
1 parent 30df04b
History
Tip revision: 2eea4197c61ab5d990af53bbaf422567156b6dd5 authored by Mario Alviano on 21 December 2014, 14:20:27 UTC
Add one with flipped polarities.
Tip revision: 2eea419
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 1.0 KB

README.md

back to top