User Activity
-
Committed
[r60]
code to generate a graph of the "blowing up" re...
- Committed [r59]
-
Committed
[r58]
Chenges to the blow up experiment, plus minor c...
-
Committed
[r57]
Changes to tests and syntactic equivalence
-
Committed
[r54]
removing code from the codebase that should no ...
-
Committed
[r53]
Syntactic equality works, which makes BoolFormD...
-
Committed
[r52]
Fixed failing test
-
Committed
[r51]
A syntactic equivalence checker for boolformnod...
Personal Data
- Username:
- lammenation
- Joined:
- 2014-02-23 23:46:30
Projects
This is a list of open source software projects that Andrew Matusiewicz is associated with:
- PLOOPI-Lib A Java library for dealing with propositional and SMT formulas. Last Updated: