Tag: constraint solver
constraint solver
SolveSpace
SolveSpace is an Open Source 2D and 3D CAD (computer-aided design) program. It is a constraint-based parametric modeler with s ...
z3
Z3 is a theorem prover from Microsoft Research
constraint solver
SolveSpace is an Open Source 2D and 3D CAD (computer-aided design) program. It is a constraint-based parametric modeler with s ...
Z3 is a theorem prover from Microsoft Research