01-integer-programming
algebra
algorithm-equivalence-checking
alloy-vpn-models
antibandwidth
auto-correlation
automata-synchronization
battleship
binary-pigeon-hole
binary-tree-parity
brent-equations
circuit-equialence-checking
circuit-minimization
clique-coloring
clique-formulas
clique-width
clustered-random
coloring-clique
coloring-mycielski-graph
core-based-generator
cover
cryptography-ascon
cryptography-cbmc
cryptography-simon
design-debugging
diagnosis
discrete-logarithm
edge-matching
edit-distance
equivalence-chain-principle
erdos-discrepancy
fdmus
fermat
fixed-shape-random
floodit-puzzle
fpga-routing
genurq
gf3-sat
glassy-gen
graceful-production
grandtour-puzzle
greentao
hamiltonian-cycle
hanoi
heule-nol
hgen
hidoku
hypertree-decomposition
independent-set
independent-set-reconfiguration
influence-maximization
interval-matching
karatsuba-multiplication
knights-problem
ktf
long-learned-clauses
maximum-constraint-partition
md5-equivalence-checking
mechanical-master-key
minimal-superpermutation
minimum-disagreement-parity
modcircuits
mosoi-289
multiplier-circuits
multiplier-verification
mutilated-chessboard
oddball-weighing
or_randxor
ordering-principle
ordering-principle-xor
p-center
pebbling
petrinet-concurrency
philips
phnf
pigeon-hole
planning
product-configuration
profitable-robust-production
purdom-instances
pythagorean-triples
railway-safety
ramsey
ramsey-numbers
ramseycube
random
random-circuits
random-clustered
random-csp
random-mus
random-planted-solution
rbsat
register-allocation
relational-dependencies
relativized-pigeon-hole
rooks
sat-x
satcoin
set-covering
sgen
sgen-balanced
sliding-puzzle
social-golfer
software-bmc
software-verification
sorting-networks
ssp-0
st-connectivity-principle
station-repacking
stedman-triples
stone
subgraph-isomorphism
subsumptiontest
sum-of-3-cubes
summle
tensors
test-configuration
testpattern-generation
theorem-proving
tree-decomposition
trigonometric-functions
tseitin-formulas
uniform-random
waerden
xor-chain
xor_op
fallback
