raki123

Pinned Repositories

aspmc
An efficient compilation based algebraic answer set counter.
Language:Python53
sharpsat-td
Entry to model counting competition 2021.
Language:C++10
raki123.github.io
Language:HTML00
tol-revolve
Triangle of Life experiments using the Revolve framework
Language:Python01
AXolotl
The Android app version of the AXolotl Education Software
Language:Java11
TL-DC
TL;DC: "Too Long; Didn't Count" A portfolio based solver for the length limited path counting problem.
Language:C00
counterfactuals
A solver for counterfactual inference over probabilistic logic programs, based on the library of aspmc.
Language:Python40
CC
Language:Prolog10
aspmc_benchmarks
Language:Prolog00
d4
d4 Model Counter
Language:C++00

raki123's Repositories

raki123/aspmc
An efficient compilation based algebraic answer set counter.
Language:Python53
raki123/counterfactuals
A solver for counterfactual inference over probabilistic logic programs, based on the library of aspmc.
Language:Python4
raki123/TL-DC
TL;DC: "Too Long; Didn't Count" A portfolio based solver for the length limited path counting problem.
Language:C
raki123/MR-CKR
Language:Python
raki123/sharpsat-td
Entry to model counting competition 2021.
Language:C++1
raki123/KC-benchmarking
Language:Python
raki123/aspmc_benchmarks
Language:Prolog
raki123/survey_evaluation
Language:Python
raki123/FeedbackVertexSet-Experiments
Language:C++
raki123/feedback-set
Code for paper "A Contraction Algorithm for finding Minimal Feedback Sets"
raki123/lpmln
Language:C
raki123/CC
Language:Prolog1
raki123/minisat-definitions
A small C++ library that uses minisat to extract which variables are defined in terms of a set of input variables.
Language:C++
raki123/d4
d4 Model Counter
Language:C++
raki123/raki123.github.io
Language:HTML
raki123/minisat
A minimalistic and high-performance SAT solver
Language:C++
raki123/htd_validate
Checker for hypertree decompositions
Language:Python
raki123/dp_on_dbs
dp using db tables via postgres
raki123/FinanceHelper
an android application to log your finances and to keep track in group finances
Language:Java
raki123/Laser
An expressive stream reasoner
Language:Python
raki123/inconsistent-subgraph-query
Language:Java
raki123/PMNEUMODHW3
Language:Python
raki123/revolve-brain
Language:C++1
raki123/tol-revolve
Triangle of Life experiments using the Revolve framework
Language:Python1
raki123/mlqs
Language:Python
raki123/geotrellis-landsat-emr-demo
Process landsat imagery on EMR, serve them out to a web application that does NDVI/NDWI on the fly
Language:Shell
raki123/roborobo2
Roborobo 2
Language:C++