All Git Users → potassco

4 open source projects by potassco

[ Open user page on Github ]

🤔 A grounder and solver for logic programs.

✭ 305

🗺️ ASP planning tools for PDDL

✭ 24

C++CMake planning asp pddl

3. asprilo-encodings

Collection of ASP encodings for asprilo

✭ 19

🤖 ASPRILO, an intra-logistics benchmark suite for answer set programming

✭ 34

1-4 of 4 user projects