Skip to content
Change the repository type filter

All

    Repositories list

    • clasp

      Public
      ⚙️ A conflict-driven nogood learning answer set solver
      C++
      MIT License
      1612040Updated Feb 17, 2025Feb 17, 2025
    • clinguin

      Public
      🐧 Clingo Interactive UI
      Python
      MIT License
      625271Updated Feb 15, 2025Feb 15, 2025
    • viasp

      Public
      A visualization tool for clingo
      Python
      MIT License
      37120Updated Feb 14, 2025Feb 14, 2025
    • 🧱 A utility library used by various potassco projects
      C++
      Other
      5320Updated Feb 14, 2025Feb 14, 2025
    • anthem

      Public
      A translator between answer set programs and first-order logic
      Rust
      MIT License
      11184Updated Feb 13, 2025Feb 13, 2025
    • Python package to parse and solve product configuration problems specified in COOM using ASP
      Python
      MIT License
      0031Updated Feb 6, 2025Feb 6, 2025
    • flatzinc

      Public
      🫓 A parser for the FlatZinc modelling language
      Rust
      MIT License
      61120Updated Jan 31, 2025Jan 31, 2025
    • clingo-rs

      Public
      🗝️ Rust bindings to the clingo library
      Rust
      MIT License
      92912Updated Jan 27, 2025Jan 27, 2025
    • clingcon

      Public
      ⛓️ Extension of clingo to handle constraints over integers
      C++
      MIT License
      425191Updated Jan 17, 2025Jan 17, 2025
    • clingo

      Public
      🤔 A grounder and solver for logic programs.
      C++
      MIT License
      83642141Updated Jan 16, 2025Jan 16, 2025
    • fzn2lp

      Public
      🥞 A converter from FlatZinc into an ASP fact format
      Rust
      MIT License
      0305Updated Jan 14, 2025Jan 14, 2025
    • mu-gringo

      Public
      🌱 A prototypical grounder implementation
      Rust
      Creative Commons Zero v1.0 Universal
      0800Updated Jan 7, 2025Jan 7, 2025
    • Mkdocs plugin for automatic documentation in clingo
      Python
      MIT License
      0180Updated Dec 20, 2024Dec 20, 2024
    • eclingo

      Public
      🧠 A solver for epistemic logic programs.
      Python
      MIT License
      4900Updated Dec 14, 2024Dec 14, 2024
    • 1100Updated Dec 12, 2024Dec 12, 2024
    • 📄 Template for python based projects.
      Python
      MIT License
      5620Updated Dec 12, 2024Dec 12, 2024
    • 0000Updated Dec 5, 2024Dec 5, 2024
    • 🕵️ Solving MAPF under map-to-subgraph transformation with SAT and ASP
      C++
      MIT License
      1600Updated Nov 27, 2024Nov 27, 2024
    • ℹ️ The Potassco website
      HTML
      MIT License
      84100Updated Nov 14, 2024Nov 14, 2024
    • 🌳 Clingo grammar for tree-sitter
      C
      MIT License
      1532Updated Nov 11, 2024Nov 11, 2024
    • 🌐 Clingo via HTTP
      Rust
      MIT License
      0241Updated Nov 6, 2024Nov 6, 2024
    • Tools to aid the development of explanation systems using clingo
      Python
      MIT License
      0911Updated Oct 15, 2024Oct 15, 2024
    • flatzingo

      Public
      🦩 A flatzinc frontend for clingcon
      Python
      MIT License
      17130Updated Oct 15, 2024Oct 15, 2024
    • clingraph

      Public
      🕸️ A visualizer for graphs defined as logic programs
      Python
      MIT License
      72912Updated Oct 12, 2024Oct 12, 2024
    • clingo-dl

      Public
      📏 Theory propagator for difference logic using clingo's theory language and C++ API.
      C++
      MIT License
      1630Updated Oct 1, 2024Oct 1, 2024
    • clingofmt

      Public
      ♻️ Experimental formatter for clingo code
      Rust
      MIT License
      01055Updated Sep 16, 2024Sep 16, 2024
    • 🧮 A simplistic simplex solver for checking satisfiability of a set of equations.
      C++
      MIT License
      0420Updated Sep 13, 2024Sep 13, 2024
    • clintest

      Public
      🧪 A test framework for clingo programs
      Python
      MIT License
      17130Updated Sep 2, 2024Sep 2, 2024
    • anthem-1

      Public archive
      🎼 Translate answer set programs to first-order theorem prover language
      Rust
      MIT License
      5750Updated Aug 28, 2024Aug 28, 2024
    • fclingo

      Public
      Solver for ASP plus conditional linear constraints with founded variables
      Python
      MIT License
      0280Updated Jul 22, 2024Jul 22, 2024
    81 repositories found. List is sorted by Last pushed in descending order.