Skip to content

@potassco Potassco

Change the repository type filter

All

    Repositories list

    79 repositories

    • tree-sitter-clingo

      Public
      🌳 Clingo grammar for tree-sitter
      C
      •
      MIT License
      •0•5•2•1•Updated Oct 10, 2024Oct 10, 2024

    • viasp

      Public
      A visualization tool for clingo
      Python
      •
      MIT License
      •3•6•18•0•Updated Oct 8, 2024Oct 8, 2024

    • clasp

      Public
      ⚙️ A conflict-driven nogood learning answer set solver
      C++
      •
      MIT License
      •16•116•3•0•Updated Oct 8, 2024Oct 8, 2024

    • clingo-explaid

      Public
      Tools to aid the development of explanation systems using clingo
      Python
      •
      MIT License
      •0•8•1•0•Updated Oct 7, 2024Oct 7, 2024

    • mapf-subgraph-system

      Public
      🕵️ Solving MAPF under map-to-subgraph transformation with SAT and ASP
      C++
      •
      MIT License
      •1•6•0•0•Updated Oct 7, 2024Oct 7, 2024

    • anthem

      Public
      A translator between answer set programs and first-order logic
      Rust
      •
      MIT License
      •1•0•17•4•Updated Oct 1, 2024Oct 1, 2024

    • clingo

      Public
      🤔 A grounder and solver for logic programs.
      logic-programminganswer-set-programmingdeclarative-programming
      C++
      •
      MIT License
      •81•608•14•0•Updated Oct 1, 2024Oct 1, 2024

    • clingo-dl

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

    • libpotassco

      Public
      🧱 A utility library used by various potassco projects
      C++
      •
      Other
      •5•3•2•0•Updated Sep 30, 2024Sep 30, 2024

    • fzn2lp

      Public
      🥞 A converter from FlatZinc into an ASP fact format
      Rust
      •
      MIT License
      •0•3•0•5•Updated Sep 23, 2024Sep 23, 2024

    • clingofmt

      Public
      ♻️ Experimental formatter for clingo code
      Rust
      •
      MIT License
      •0•10•5•5•Updated Sep 16, 2024Sep 16, 2024

    • clingo-lpx

      Public
      🧮 A simplistic simplex solver for checking satisfiability of a set of equations.
      C++
      •
      MIT License
      •0•4•2•0•Updated Sep 13, 2024Sep 13, 2024

    • clinguin

      Public
      🐧 Clingo Interactive UI
      Python
      •
      MIT License
      •5•25•14•0•Updated Sep 12, 2024Sep 12, 2024

    • clingcon

      Public
      ⛓️ Extension of clingo to handle constraints over integers
      C++
      •
      MIT License
      •4•25•19•1•Updated Sep 3, 2024Sep 3, 2024

    • clintest

      Public
      🧪 A test framework for clingo programs
      Python
      •
      MIT License
      •1•7•12•0•Updated Sep 2, 2024Sep 2, 2024

    • coom-suite

      Public
      Python package to parse and solve product configuration problems specified in COOM using ASP
      Python
      •
      MIT License
      •0•0•3•2•Updated Aug 28, 2024Aug 28, 2024

    • anthem-1

      Public archive
      🎼 Translate answer set programs to first-order theorem prover language
      theorem-provingfirst-order-logicverificationasp
      Rust
      •
      MIT License
      •5•7•5•0•Updated Aug 28, 2024Aug 28, 2024

    • study-regulations

      Public
      0•1•0•0•Updated Aug 5, 2024Aug 5, 2024

    • flatzinc

      Public
      🫓 A parser for the FlatZinc modelling language
      Rust
      •
      MIT License
      •5•11•3•1•Updated Jul 22, 2024Jul 22, 2024

    • fclingo

      Public
      Solver for ASP plus conditional linear constraints with founded variables
      Python
      •
      MIT License
      •0•0•8•0•Updated Jul 22, 2024Jul 22, 2024

    • clorm

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

    • plingo

      Public
      🍀 A system for probabilistic reasoning in clingo
      Python
      •
      MIT License
      •2•15•7•0•Updated Jun 24, 2024Jun 24, 2024

    • telingo

      Public
      🕰️ A solver for temporal programs.
      Python
      •
      MIT License
      •7•22•5•0•Updated Jun 24, 2024Jun 24, 2024

    • python-clingox

      Public
      🧰 Library with auxilary functions to use along with the clingo module.
      Python
      •
      MIT License
      •2•7•0•0•Updated Jun 24, 2024Jun 24, 2024

    • conda

      Public
      📦 Conda recepies for potassco projects.
      Python
      •4•1•0•0•Updated Jun 20, 2024Jun 20, 2024

    • eclingo

      Public
      🧠 A solver for epistemic logic programs.
      Python
      •
      MIT License
      •4•9•1•0•Updated Jun 11, 2024Jun 11, 2024

    • ngo

      Public
      Non Ground Optimizer for logic programs.
      Python
      •
      MIT License
      •0•4•24•0•Updated Jun 3, 2024Jun 3, 2024

    • xorro

      Public
      ⚔️ A solver for programs with XOR constraints.
      Python
      •
      MIT License
      •1•5•1•0•Updated May 31, 2024May 31, 2024

    • asprin

      Public
      💊 Qualitative and quantitative optimization in answer set programming
      Python
      •
      MIT License
      •3•19•4•0•Updated May 23, 2024May 23, 2024

    • flatzingo

      Public
      🦩 A flatzinc frontend for clingcon
      Python
      •
      MIT License
      •1•6•14•0•Updated May 22, 2024May 22, 2024