Pinned Repositories
anthem
🎼 Translate answer set programs to first-order theorem prover language
asp2sat
treewidth-aware reduction from asp to sat
clingo-rs
🗝️ Rust bindings to the clingo library
copperbench
fasb
faceted answer set browser
nnf2dot
converts NNF or counting graph to graphviz input
old_fasb
savan
answer set navigation library
simcjt
condorcet jury theorem simulations
web-fasb.github.io
https://drwadu.github.io/web-fasb.github.io/
drwadu's Repositories
drwadu/fasb
faceted answer set browser
drwadu/old_fasb
drwadu/savan
answer set navigation library
drwadu/anthem
🎼 Translate answer set programs to first-order theorem prover language
drwadu/asp2sat
treewidth-aware reduction from asp to sat
drwadu/clingo-rs
🗝️ Rust bindings to the clingo library
drwadu/copperbench
drwadu/drwadu.github.io
A beautiful, simple, clean, and responsive Jekyll theme for academics
drwadu/four
a prototypical solver for system FOUR
drwadu/iascar
answer set counter
drwadu/is_lp_tight
A simple tool to find out whether an answer set program is tight, or not.
drwadu/LNN
A `Neural = Symbolic` framework for sound and complete weighted real-value logic
drwadu/lp2ucs
drwadu/nnf2ccg
drwadu/nnf2dot
converts NNF or counting graph to graphviz input
drwadu/share2nightscout-bridge
azure sidecar, bridges Dexcom share2 to Nightscout
drwadu/simcjt
condorcet jury theorem simulations
drwadu/web-fasb.github.io
https://drwadu.github.io/web-fasb.github.io/
drwadu/xclingo2
A tool for explainability and debugging in Answer Set Programming.