k

konstraints

A library for working with SMT Expressions in the JVM
https://github.com/tudo-aqua/konstraints
Apache-2.0 CC-BY-4.0
Simon Dierl Falk Howar Laurenz Levi Spielmann
with library working expressions
Aggregated version Version Update time
0.2 0.2 Oct 25, 2024
0.1 0.1 Aug 09, 2024
2 Records