search

VeriFIT / z3-noodler

The Z3-Noodler String Solver
Other
6 stars 5 forks source link

SMT-COMP files #146

Closed vhavlena closed 4 months ago

vhavlena commented 4 months ago

System description and simple dockerfile.