vuphan314

Vu Phan's repositories

Knotty

computer algebra system for knot theory

Language:JavaScript4 4 10

DPO

Dynamic-programming optimizer to solve exact literal-weighted SAT (Boolean MPE)

Language:C++MIT1 20

ms-thesis

MS thesis in Computer Science at Rice University

Language:CMIT1 20

phd-thesis

PhD thesis in Computer Science at Rice University

Language:C++MIT100

cachet

Fork of Cachet 1.21

Language:C++020

cplusplus

Language:C++020

LED

Literate-programming system for LED (Language of Effective Definitions)

Language:SlashMIT03 16

ShattleBip

Android battleship game

Language:Java040

cry

Language:TeX040

cudd

Fork of CUDD: CU Decision Diagram package

Language:CBSD-3-Clause01 1

dpdb

dp using db tables via postgres

Language:TeX010

DPER

Dynamic-programming existential-random stochastic SAT solver

Language:C++MIT020

gaussmaxhs

Fork of GaussMaxHS, a CNF+XOR MaxSAT solver

Language:C++NOASSERTION010

grainofsalt

Grain of Salt equation generator

Language:CNOASSERTION010

htd

A small but efficient C++ library for computing (customized) tree and hypertree decompositions.

Language:C++GPL-3.0010

justicia

A formal approach for verifying fairness in machine learning.

Language:PythonNOASSERTION010

life

Game of Life

Language:C++020

maxhs

Fork of MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus

Language:C++NOASSERTION010

message

Language:JavaScript000

minic2d

Fork of miniC2D 1.0.0

Language:CBSD-3-Clause020

misc

Language:Shell020

nesthdb

Fork of nestHDB

Language:Python000

ProJoin

Project-join framework for model counting, Boolean MPE, and MaxSAT

Language:C++MIT01 1

slurmqueen

Fork of SlurmQueen, a Python 3 library for automatically running experiments using a Slurm cluster

Language:PythonMIT010

ssat

Fork of reSSAT/erSSAT

Language:CNOASSERTION020

sylvan

Fork of Sylvan: multi-core (binary) decision diagrams

Language:CApache-2.0010

vuphan314.github.io

https://vuphan314.github.io

Language:JavaScript020