hd442822

Pinned Repositories

minicard
MiniCard: An efficient cardinality solver based on MiniSAT
Language:C++00
mSAT
A modular sat/smt solver with proof output.
Language:OCaml0 0 00
PropertyManagementSystemSEG10
Language:C#00
PropertyAdministrationSystem
The project for Software Engineering
Language:JavaScript00

hd442822's Repositories

hd442822/minicard
MiniCard: An efficient cardinality solver based on MiniSAT
Language:C++00
hd442822/mSAT
A modular sat/smt solver with proof output.
Language:OCaml0 0 00
hd442822/PropertyManagementSystemSEG10
Language:C#00