Skip to content

3.3: tuning ASP encoding for non-montone functions
Compare
Choose a tag to compare
@pauleve pauleve released this 30 Aug 12:24
· 19 commits to master since this release
v3.3
96f67f1 
v3.3

cli: give options for controlling simplifications
Assets 2
Loading