Repositories Users Organizations
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
patrick / anthem
C++ 0 0

Translate answer set programs to first-order theorem prover language (local mirror of https://github.com/potassco/anthem for development purposes)

Updated 2018-05-04 17:25:13 +02:00

christoph / KSOE
C++ 0 0

Updated 2022-10-10 10:44:43 +02:00