https://github.com/alviano/aspino
Revision 32c4fb82b9aaadb90265375b0efd208036e08bf9 authored by malvi on 24 March 2018, 13:07:23 UTC, committed by malvi on 24 March 2018, 13:07:23 UTC
1 parent b283369
History
Tip revision: 32c4fb82b9aaadb90265375b0efd208036e08bf9 authored by malvi on 24 March 2018, 13:07:23 UTC
add option to choose enumeration algorithm for circumscription
Tip revision: 32c4fb8
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

README.md

back to top