Translate answer set programs to first-order theorem prover language (local mirror of for development purposes)
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Patrick Lühne e0aa3497ee
Version bump after release 0.1.9
4 years ago
catch@d2d8455b57 Update Catch to 2.2.2 4 years ago
clingo@969ce8f618 Support exponentiation operator 4 years ago
cxxopts@ca6e9f70eb Update cxxopts to 2.1.0+1+gcc4914f 4 years ago