Repositories list

• ganak

  Public
  High-performance model counter

  satisfiabilitymodel-countingdimacs-cnf

  satisfiabilitymodel-countingdimacs-cnf

  C++

  •

  Other

  •12•60•0•6•Updated Mar 30, 2026Mar 30, 2026

• arjun

  Public
  CNF minimizer and minimal independent set minimizer

  cnfsimplifiermodel-counting+ 1

  cnfsimplifiermodel-countingdimacs-cnf

  C++

  •

  Other

  •8•26•0•2•Updated Mar 30, 2026Mar 30, 2026

• count_fuzzer

  Public
  Model Counting Fuzzer

  Python

  •0•0•0•0•Updated Mar 29, 2026Mar 29, 2026

• cadiback

  Public
  C++

  •

  MIT License

  •0•0•0•0•Updated Mar 29, 2026Mar 29, 2026

• breakid

  Public
  BreakID, a CNF symmetry-breaking library and tool

  cnfsatisfiabilitysymmetry-breaking

  cnfsatisfiabilitysymmetry-breaking

  C++

  •

  Other

  •5•9•1•0•Updated Mar 28, 2026Mar 28, 2026

• approxmc

  Public
  Approximate Model Counter

  countingsatsatisfiability+ 3

  countingsatsatisfiabilitycnf-clausesmodel-coutingdimacs-cnf

  C++

  •

  Other

  •29•87•1•1•Updated Mar 28, 2026Mar 28, 2026

• SBVA

  Public
  Structured BVA CNF rewriter

  cnfsat-solverconjunctive-normal-form+ 1

  cnfsat-solverconjunctive-normal-formdimacs-cnf

  C++

  •

  MIT License

  •8•0•0•0•Updated Mar 28, 2026Mar 28, 2026

• cadical

  Public
  C++

  •

  MIT License

  •0•1•0•0•Updated Mar 28, 2026Mar 28, 2026

• treedecomp

  Public
  Flow Cutter, and other tools needed to perform tree decomposition

  C++

  •

  BSD 2-Clause "Simplified" License

  •0•1•0•0•Updated Mar 28, 2026Mar 28, 2026

• numpy-debug

  Public
  Shell

  •0•0•0•0•Updated Mar 25, 2026Mar 25, 2026

• csb

  Public
  Count and Sample on Bit-vectors.

  C++

  •2•9•1•0•Updated Mar 14, 2026Mar 14, 2026

• minisat

  Public
  A minimalistic and high-performance SAT solver

  C++

  •

  Other

  •0•3•0•0•Updated Mar 14, 2026Mar 14, 2026

• EvalMaxSAT

  Public
  State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques

  C++

  •

  GNU General Public License v3.0

  •9•0•0•0•Updated Mar 8, 2026Mar 8, 2026

• TensorOrder

  Public
  A tool for weighted model counting through tensor network contraction

  Python

  •

  MIT License

  •3•0•0•0•Updated Feb 21, 2026Feb 21, 2026

• manthan

  Public
  Manthan for Boolean function synthesis

  Python

  •

  Other

  •9•35•2•0•Updated Feb 16, 2026Feb 16, 2026

• bfss

  Public
  Blazingly Fast Skolem function Synthesis

  C++

  •

  GNU General Public License v2.0

  •3•0•0•0•Updated Feb 15, 2026Feb 15, 2026

• manthan-preprocess

  Public
  C++

  •

  MIT License

  •1•0•0•0•Updated Feb 8, 2026Feb 8, 2026

• cryptominisat-manthan

  Public
  An advanced SAT solver

  C++

  •

  Other

  •201•0•0•0•Updated Feb 5, 2026Feb 5, 2026

• unique

  Public
  A tool for extracting unique Skolem (and Herbrand) functions of Quantified Boolean Formulas using propositional interpolation.

  C++

  •3•0•0•0•Updated Feb 5, 2026Feb 5, 2026

• avy

  Public
  Avy as required by Unique

  C++

  •1•0•0•0•Updated Feb 5, 2026Feb 5, 2026

• abc-fork-ufo

  Public
  C

  •

  Other

  •0•0•0•0•Updated Jan 26, 2026Jan 26, 2026

• MBNpy

  Public
  Matrix-based Bayesian network (MBN) is an alternative BN data structure, being specialised on large-scale systems (i.e. high-dimensional probabilities).

  Python

  •5•0•0•0•Updated Dec 16, 2025Dec 16, 2025

• kahypar

  Public
  KaHyPar (Karlsruhe Hypergraph Partitioning) is a multilevel hypergraph partitioning framework providing direct k-way and recursive bisection based partitioning …

  C++

  •

  GNU General Public License v3.0

  •101•0•0•0•Updated Dec 7, 2025Dec 7, 2025

• kahypar-shared-resources

  Public
  This repository contains resources shared between KaHyPar and Mt-KaHyPar under MIT license.

  C++

  •

  MIT License

  •3•0•0•0•Updated Dec 6, 2025Dec 6, 2025

• pepin

  Public
  A probabilistic approximate DNF counter

  countingdnfpac-guarantee

  countingdnfpac-guarantee

  C++

  •

  MIT License

  •1•39•0•0•Updated Nov 30, 2025Nov 30, 2025

• cmsgen

  Public
  CMSGen, a fast weighted uniform-like sampler

  samplercnfdimacs+ 2

  samplercnfdimacscnf-clausesuniformity

  C++

  •

  Other

  •3•12•1•0•Updated Nov 26, 2025Nov 26, 2025

• KCBox

  Public
  A toolbox for knowledge compilation

  model-countingknowledge-compilationuniform-sampling

  model-countingknowledge-compilationuniform-sampling

  C++

  •

  MIT License

  •5•27•0•0•Updated Nov 25, 2025Nov 25, 2025

• RelNet-ASP

  Public
  A Fast and Accurate ASP Counting Based Network Reliability Estimator

  Prolog

  •

  MIT License

  •0•0•0•0•Updated Oct 15, 2025Oct 15, 2025

• weighted-to-unweighted

  Public
  Weighted to unweighted formula converter

  Python

  •1•4•0•0•Updated Sep 18, 2025Sep 18, 2025

• ttc

  Public
  Volume computation for SMT LRA formulas.

  Python

  •1•2•0•0•Updated Aug 15, 2025Aug 15, 2025