#

answer-set-programming

Here are 6 public repositories matching this topic...

vsov / strata-k

A stratified, semiring-parameterized Datalog and its reference engine — the symbolic core of a neuro-symbolic logic system. Bool/Trop semirings, stratified negation, aggregates, exact probabilistic (?prob) queries, and a stable-model (@asp) solver.

programming-language rust interpreter compiler datalog probabilistic-programming logic-programming semiring answer-set-programming datalog-engine fixpoint neuro-symbolic deductive-database stratified-negation semi-naive-evaluation

Updated Jul 8, 2026
Rust

drwadu / fasb

faceted answer set browser

answer-set-programming facet-reasoning

Updated May 20, 2025
Rust

drwadu / savan

answer set navigation library

logic-programming answer-set-programming

Updated Feb 14, 2025
Rust

GregoryGelfond / kallos

A pure-layout source formatter for Answer Set Programming (clingo .lp).

rust formatter asp clingo answer-set-programming

Updated Jun 21, 2026
Rust

simon-kohaut / Resin

Reactive and asynchronous probabilistic logic programming and model counting.

reactive-programming probabilistic-programming logic-programming probabilistic answer-set-programming neurosymbolic

Updated Aug 11, 2026
Rust

lcian / gringo-language-server

🛠️ Language Server for gringo (Answer Set Programming)

language-server-protocol logic-programming answer-set-programming lsp

Updated Sep 13, 2024
Rust

Improve this page

Add a description, image, and links to the answer-set-programming topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the answer-set-programming topic, visit your repo's landing page and select "manage topics."