Skip to content
Change the repository type filter

All

    Repositories list

    • viasp

      Public
      A visualization tool for clingo
      Python
      MIT License
      36140Updated Dec 20, 2024Dec 20, 2024
    • fzn2lp

      Public
      🥞 A converter from FlatZinc into an ASP fact format
      Rust
      MIT License
      0304Updated Dec 20, 2024Dec 20, 2024
    • Mkdocs plugin for automatic documentation in clingo
      Python
      MIT License
      0180Updated Dec 20, 2024Dec 20, 2024
    • Python package to parse and solve product configuration problems specified in COOM using ASP
      Python
      MIT License
      0041Updated Dec 20, 2024Dec 20, 2024
    • clasp

      Public
      ⚙️ A conflict-driven nogood learning answer set solver
      C++
      MIT License
      1611830Updated Dec 19, 2024Dec 19, 2024
    • clinguin

      Public
      🐧 Clingo Interactive UI
      Python
      MIT License
      525151Updated Dec 18, 2024Dec 18, 2024
    • 🧱 A utility library used by various potassco projects
      C++
      Other
      5320Updated Dec 18, 2024Dec 18, 2024
    • anthem

      Public
      A translator between answer set programs and first-order logic
      Rust
      MIT License
      10178Updated Dec 17, 2024Dec 17, 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
      5520Updated Dec 12, 2024Dec 12, 2024
    • clingo

      Public
      🤔 A grounder and solver for logic programs.
      C++
      MIT License
      83627120Updated Dec 11, 2024Dec 11, 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-rs

      Public
      🗝️ Rust bindings to the clingo library
      Rust
      MIT License
      92911Updated Nov 6, 2024Nov 6, 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
      0811Updated 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
      62911Updated Oct 12, 2024Oct 12, 2024
    • flatzinc

      Public
      🫓 A parser for the FlatZinc modelling language
      Rust
      MIT License
      51120Updated Oct 11, 2024Oct 11, 2024
    • clingo-dl

      Public
      📏 Theory propagator for difference logic using clingo's theory language and C++ API.
      C++
      MIT License
      2630Updated 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
    • clingcon

      Public
      ⛓️ Extension of clingo to handle constraints over integers
      C++
      MIT License
      425191Updated Sep 3, 2024Sep 3, 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
    • clorm

      Public
      🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner
      Python
      MIT License
      553123Updated Jul 1, 2024Jul 1, 2024