Vardi's Group

Research group of Prof. Moshe Vardi at Rice University

United States of America

Pinned Repositories

ADDMC
An exact weighted model counter based on algebraic decision diagrams
Language:C++10 6 02
DPMC
DPMC/ProCount is a dynamic-programming framework for exact weighted (projected) model counting
Language:C++4 4 63
FourierSAT
A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
Language:Python11 4 10
GradSAT
Language:C3 3 00
Ising
Language:Python0 3 10
lisa
Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space representation.
Language:C++12 3 24
TensorOrder
A tool for weighted model counting through tensor network contraction
Language:Python20 3 12

Vardi's Group's Repositories

vardigroup/TensorOrder
A tool for weighted model counting through tensor network contraction
Language:Python20 3 12
vardigroup/lisa
Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space representation.
Language:C++12 3 24
vardigroup/FourierSAT
A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
Language:Python11 4 10
vardigroup/ADDMC
An exact weighted model counter based on algebraic decision diagrams
Language:C++10 6 02
vardigroup/DPMC
DPMC/ProCount is a dynamic-programming framework for exact weighted (projected) model counting
Language:C++4 4 63
vardigroup/GradSAT
Language:C3 3 00
vardigroup/Ising
Language:Python0 3 10