asprin version 3.0.1

javier-romero released this 06 Oct 13:54

· 171 commits to master since this release

new implementation updated to clingo-5.2.1
normal solving mode
heuristic solving mode
approximation solving mode

Assets 3