Giters
Meel Group (meelgroup)

Meel Group

meelgroup

Geek Repo

Github PK Tool:Github PK Tool

Meel Group's repositories

approxmc

Approximate Model Counter

Language:C++License:NOASSERTIONStargazers:68Issues:7Issues:36

bosphorus

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

Language:C++License:NOASSERTIONStargazers:64Issues:7Issues:37

pepin

A probabilistic approximate DNF counter

Language:C++License:MITStargazers:34Issues:3Issues:0

unigen

UniGen approximately uniform sampler

Language:C++License:NOASSERTIONStargazers:24Issues:3Issues:13

ganak

The first scalable probabilistic exact counter

Language:C++License:MITStargazers:23Issues:5Issues:22

KCBox

A toolbox for knowledge compilation

Language:C++License:MITStargazers:21Issues:13Issues:4

arjun

CNF minimizer and minimal independent set calculator

Language:C++License:NOASSERTIONStargazers:13Issues:4Issues:11

cmsgen

CMSGen, a fast weighted uniform-like sampler

Language:C++License:NOASSERTIONStargazers:9Issues:2Issues:5

breakid

BreakID, a CNF symmetry-breaking library and tool

Language:C++License:NOASSERTIONStargazers:4Issues:11Issues:1

baital

Language:PythonLicense:MITStargazers:3Issues:2Issues:1

weighted-to-unweighted

Weighted to unweighted formula converter

Language:PythonStargazers:3Issues:3Issues:1

meelgroup-website

Website for the group

Language:TeXLicense:MITStargazers:2Issues:20Issues:0

approxmc-cert

Formally Certified Approximate Model Counter

Language:C++License:NOASSERTIONStargazers:1Issues:0Issues:0

breakid_test_cnfs

Test CNFs for BeakID by Jo Devriendt

Language:RoffStargazers:1Issues:0Issues:0

csb

Count and Sample on Bit-vectors.

Language:C++License:NOASSERTIONStargazers:1Issues:2Issues:0

frat-xor

FRAT proof processor with XOR extension

Language:AssemblyStargazers:1Issues:3Issues:2

louvain-community

Louvain Community Detection Library

Language:C++License:LGPL-3.0Stargazers:1Issues:3Issues:0

sharpASP

sharpASP - Exact ASP Counting with Compact Encodings

Language:PythonLicense:MITStargazers:1Issues:2Issues:0

cubeprobe

Testing graph samplers using Subcube Conditioning

Language:PythonLicense:MITStargazers:0Issues:2Issues:0

skolemfc

Approximate Skolem Functions Counter

Language:C++Stargazers:0Issues:1Issues:0

cadet

A fast and certifying solver for quantified Boolean formulas.

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

cadiback

CaDiCaL BackBone Analyzer

Language:C++License:MITStargazers:0Issues:0Issues:0

cadical

CaDiCaL SAT Solver

Language:C++License:MITStargazers:0Issues:0Issues:0

d-ASP-US

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

d4v2

Language:C++License:LGPL-2.1Stargazers:0Issues:0Issues:0

gismo

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

Language:C++Stargazers:0Issues:0Issues:0

hqspre

From projects.informatik.uni-freiburg.de/projects/dqbf/files

Language:C++Stargazers:0Issues:0Issues:0

meelgroup.github.io

Meelgroup website

Language:HTMLStargazers:0Issues:16Issues:0

MUS-ASP

Language:TeXStargazers:0Issues:2Issues:0

SBVA

Structured BVA CNF rewriter

Language:C++License:MITStargazers:0Issues:0Issues:0