Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by potassco

A curated list of projects in awesome lists by potassco .

https://github.com/potassco/clingo

🤔 A grounder and solver for logic programs.

answer-set-programming declarative-programming logic-programming

Last synced: 02 Aug 2024

https://github.com/potassco/clingo-rs

🗝️ Rust bindings to the clingo library

clingo rust-bindings

Last synced: 08 Aug 2024

https://github.com/potassco/telingo

🕰️ A solver for temporal programs.

Last synced: 02 Aug 2024

https://github.com/potassco/anthem

🎼 Translate answer set programs to first-order theorem prover language

asp first-order-logic theorem-proving verification

Last synced: 03 Aug 2024

https://github.com/potassco/foliage

🍁 Rust crate for first-order logic with integer arithmetics

Last synced: 03 Aug 2024