ada/cvc5
0
0
Fork 0
mirror of https://github.com/AdaCore/cvc5.git synced 2026-02-12 12:32:16 -08:00
Code Issues Packages Projects Releases Wiki Activity
7,315 Commits 59 Branches 0 Tags
cfeaf40ed6a9d4d7fec925352e30d2470a1ca567
Commit Graph

2 Commits

Author SHA1 Message Date
Andres Noetzli
3ba75ef701 Rename Java package to edu.stanford.CVC4 (#3752) 2020-02-12 16:48:10 -06:00
Andres Noetzli
252a8fb432 Add floating-point support in the Java API (#3063) 
This commit adds support for the theory of floating-point numbers in the
Java API. Previously, floating-point related classes were missing in the
JAR. The commit also provides an example that showcases how to work with
the theory of floating-point numbers through the API.
 2019-06-21 22:29:01 -07:00