Alternatives and similar repositories for Answer-Set-Programming-Algorithms:

Users that are interested in Answer-Set-Programming-Algorithms are comparing it to the libraries listed below

• ajcr / transfinite
  Transfinite ordinal arithmetic and factorisation up to epsilon-zero
  ☆14Updated 3 years ago
• potassco / clinguin
  🐧 Clingo Interactive UI
  ☆26Updated 3 weeks ago
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated 3 weeks ago
• DeMaCS-UNICAL / I-DLV
  The new intelligent grounder of the logic-based Artificial Intelligence system DLV
  ☆23Updated last year
• domoritz / clingo-wasm
  Clingo on the web
  ☆39Updated 2 weeks ago
• Torvaney / flow-solver
  Solving the "Flow Free" game (mobile app) with Clojure and SAT
  ☆11Updated 5 years ago
• alexpatel / lean-modal
  modal logic library for LEAN theorem prover
  ☆11Updated 7 years ago
• neunenak / typst-leipzig-glossing
  ☆13Updated last month
• potassco / asprin
  💊 Qualitative and quantitative optimization in answer set programming
  ☆20Updated 10 months ago
• Crossword-Nexus / collaborative-word-list
  The collaborative word list
  ☆34Updated last year
• ngoriyasjil / IthkuilGloss
  Discord glossing bot for Ithkuil IV
  ☆19Updated last year
• ionathanch / msc-thesis
  LaTeX source for Sized Dependent Types via Extensional Type Theory
  ☆12Updated 2 years ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆29Updated 4 months ago
• ATOMSLab / LeanChemicalTheories
  ☆31Updated last year
• Ludeme / Ludii
  The Ludii general game system, developed as part of the ERC-funded Digital Ludeme Project.
  ☆114Updated 3 weeks ago
• asouther4 / lean-social-choice
  A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
  ☆24Updated 3 years ago
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆50Updated this week
• potassco / clorm
  🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner
  ☆55Updated 9 months ago
• RussAbbott / pylog
  pylog: an implementation of Prolog features in Python
  ☆36Updated 3 months ago
• LyricLy / minefair
  A fair and infinite implementation of Minesweeper.
  ☆10Updated last month
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆25Updated this week
• flix / book
  The Flix Programming Book
  ☆17Updated this week
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆38Updated last year
• YaelDillies / LeanAPAP
  Formalisation of the Kelley-Meka bound on Roth numbers
  ☆18Updated this week
• minchaowu / ModalTab
  Verified decision procedures for modal logics in Lean
  ☆12Updated 4 years ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆76Updated last year
• andrewcropper / iggp
  A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.
  ☆12Updated 2 years ago
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆27Updated 3 years ago
• AlgebraicJulia / StructuredDecompositions.jl
  Structured decompositions!
  ☆13Updated 3 weeks ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 5 months ago