psycopaths

Pinned Repositories

jconstraints
A constraint solver abstraction layer for Java
Language:Java20 7 110
jconstraints-coral
jConstraints abstraction layer for the CORAL solver
Language:Java2 3 11
jconstraints-cw
jConstraints abstraction layer for the Concolic Walk algorithm
Language:Java2 3 01
jconstraints-dreal
jConstraints abstraction layer for the dReal solver
Language:Java1 3 01
jconstraints-smtinterpol
jConstraints abstraction layer for the SMTInterpol solver
Language:Java0 3 01
jconstraints-z3
jConstraints abstraction layer for Z3
Language:Java9 4 48
jdart
A dynamic symbolic analysis tool for Java
Language:Java113 16 3239
jdoop
An automatic testing tool for Java software
Language:Python24 5 26
jdoop-examples
Examples for JDoop
Language:Makefile1 2 01
psyco
A tool for generating symbolic interfaces for software components
Language:Java6 4 23

psycopaths's Repositories

psycopaths/jdart
A dynamic symbolic analysis tool for Java
Language:Java113 16 3239
psycopaths/jdoop
An automatic testing tool for Java software
Language:Python24 5 26
psycopaths/jconstraints
A constraint solver abstraction layer for Java
Language:Java20 7 110
psycopaths/jconstraints-z3
jConstraints abstraction layer for Z3
Language:Java9 4 48
psycopaths/psyco
A tool for generating symbolic interfaces for software components
Language:Java6 4 23
psycopaths/jconstraints-coral
jConstraints abstraction layer for the CORAL solver
Language:Java2 3 11
psycopaths/jconstraints-cw
jConstraints abstraction layer for the Concolic Walk algorithm
Language:Java2 3 01
psycopaths/jconstraints-dreal
jConstraints abstraction layer for the dReal solver
Language:Java1 3 01
psycopaths/jdoop-examples
Examples for JDoop
Language:Makefile1 2 01
psycopaths/jconstraints-smtinterpol
jConstraints abstraction layer for the SMTInterpol solver
Language:Java0 3 01