Giters
Vardi's Group (vardigroup)

Vardi's Group

vardigroup

Geek Repo

Research group of Prof. Moshe Vardi at Rice University

Location:United States of America

Github PK Tool:Github PK Tool

Vardi's Group's repositories

TensorOrder

A tool for weighted model counting through tensor network contraction

Language:PythonLicense:MITStargazers:20Issues:3Issues:1

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++License:GPL-3.0Stargazers:12Issues:3Issues:2

FourierSAT

A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.

Language:PythonLicense:MITStargazers:11Issues:4Issues:1

ADDMC

An exact weighted model counter based on algebraic decision diagrams

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

DPMC

DPMC/ProCount is a dynamic-programming framework for exact weighted (projected) model counting

Language:C++License:MITStargazers:4Issues:4Issues:6

GradSAT

Language:CLicense:MITStargazers:3Issues:3Issues:0

Ising

Language:PythonLicense:MITStargazers:0Issues:3Issues:1