Repositories Users Organizations
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
christoph / KSOE
C++ 0 0
Updated 2022-10-10 10:44:43 +02:00
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