Pinned Repositories
Clausal-Graph-Analysis
A tool used to visualize the relationships of variables & clauses in a SAT/2QBF problem; given the proper logging format, it can also step through the solving of the problem in graph form.
e20-vtt
A hacked tweak of the DnD 5e ruleset to support a custom pen and paper RPG ruleset for VTT.
abc
ABC: System for Sequential Logic Synthesis and Formal Verification
cadet
A QBF solver based on Incremental Determinization
cs161-p2
latex-ms-tech-report
A technical report template for the UC Berkeley EECS Department Master of Science, Plan II.
cadet
A fast and certifying solver for quantified Boolean formulas.
cs161-p2
CameronRasmussen's Repositories
CameronRasmussen/e20-vtt
A hacked tweak of the DnD 5e ruleset to support a custom pen and paper RPG ruleset for VTT.
CameronRasmussen/latex-ms-tech-report
A technical report template for the UC Berkeley EECS Department Master of Science, Plan II.
CameronRasmussen/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
CameronRasmussen/cs161-p2
CameronRasmussen/cadet
A QBF solver based on Incremental Determinization
CameronRasmussen/Clausal-Graph-Analysis
A tool used to visualize the relationships of variables & clauses in a SAT/2QBF problem; given the proper logging format, it can also step through the solving of the problem in graph form.