meelgroup Goto Github PK

1-card-xor

Scripts and data for "Phase Transition Behavior of Cardinality and XOR Constraints"

aes-cnf-gen

CNF generator for the 128 bit AES

agni

Code and supplementary materials for Agni - forest fire prediction

approxasp2

approxcov

t-wise Coverage Approximation

approxmc

Approximate Model Counter

approxmc-private_improvements

Approximate Model Counter

approxmcpb

Approximate Model Counter for Pseudo Boolean Constraints

arjun

CNF minimizer and minimal independent set calculator

arjun-examples

Example CNFs where Arjun may not be doing too well

baital

barbarik

The first efficient procedure to test whether a sampler is uniform

bosphorus

Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter

breakid

BreakID, a CNF symmetry-breaking library and tool

breakid_test_cnfs

Test CNFs for BeakID by Jo Devriendt

cadiback

CaDiCaL BackBone Analyzer

cadical

CaDiCaL SAT Solver

causalsat

CausalSAT: a tool to explain SAT solving using causal reasoning

cmsgen

CMSGen, a fast weighted uniform-like sampler

csb

Count and Sample on Bit-vectors.

cubeprobe

Testing graph samplers using Subcube Conditioning

d4

dequs

Program Synthesis via DQF(T)

deweight

A tool to reduce discrete integration to unweighted model counting.

duriansat

A LSIDS-Power SAT solver

entropyestimation

A tool to compute Shannon Entropy

flash

Flash is a framework developed to test whether a Horn-sampler is epsilon-close or eta-far from a given distribution with confidence greater than 1-delta.

ganak

The first scalable probabilistic exact counter

gaussmaxhs

GaussMaxHS, a CNF+XOR MaxSAT solver

gismo

Tool for finding a minimised Grouped Independent Support (GIS).