j

jconstraints-core

jConstraints is a library for managing SMT constraints in Java
https://github.com/tudo-aqua/jconstraints
Apache-2.0
The jConstraints Authors
library java jconstraints managing constraints
Aggregated version Version Update time
0.9 0.9.9 Mar 06, 2023
1 Records