timosntr

Dortmund, Germany

Pinned Repositories

jconstraints
A constraint solver abstraction layer for Java
Language:Java0 0 00
jconstraints-z3
jConstraints abstraction layer for Z3
Language:SMT0 0 00

timosntr's Repositories

timosntr/jconstraints
A constraint solver abstraction layer for Java
Language:Java0 0 00
timosntr/jconstraints-z3
jConstraints abstraction layer for Z3
Language:SMT0 0 00