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
Tip revision: 2eea4197c61ab5d990af53bbaf422567156b6dd5 authored by Mario Alviano on 21 December 2014, 14:20:27 UTC
Add one with flipped polarities.
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 |
Computing file changes ...