benhuds / wangs-algorithm

Propositional theorem prover using Wang's algorithm

7202

benhuds/wangs-algorithm Stargazers

Carl
carld
Chris Pressey
cpressey
Joomy Korkut
joom
Kento Takyu
kyawaway
Masanori Ogino
omasanori
vtheno
vtheno
Xavier Pinho
xavierpinho

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.