Beast code in Giters

Meel Group's repositories

A Knowledge Compilation-based Uniform Sampler

Language:PythonMIT6 4 2

Minimal Independent Set Finder for CNFs

Language:C++NOASSERTION6 4 8

A LSIDS-Power SAT solver

Language:C++NOASSERTION500

Code and supplementary materials for Agni - forest fire prediction

Language:Python2 30

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

Language:C++100

Program Synthesis via DQF(T)

Language:Python1 3 1

An approximate Max#SAT solver.

Language:PythonMIT100

Copy of https://bitbucket.org/anton_belov/muser2 with compile fixes

Language:C++MIT100

CNF generator for the 128 bit AES

Language:Python000

Language:Python000

Embedding Symbolic Knowledge into Deep Networks

000

Quantitative Verification for Neural Networks

000

MIT000

SPUR - Satisfying Perfectly Uniform Random sampler (Published at SAT-2018)

MIT000