LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Java

java-smt

JavaSMT - Unified Java API for SMT solvers.

JavaEmerging

Stars

—

Forks

—

Contributors

8

Last push

45mo ago

Recent commits

Latest commits.

Fix bug in regex intersection and difference
4c1f5ecSylvain Kuchen45mo ago
update Changelog for next release.
d5e43c5Karlheinz Friedberger45mo ago
improve visitation of some operations for SMTInterpol and CVC4.
c6bd3d7Karlheinz Friedberger45mo ago
improve documentation for formula visitation.
72de08aKarlheinz Friedberger46mo ago
prepare next release
6103fc5Karlheinz Friedberger46mo ago

fix exception for AND/OR-operations without arguments.

af5d2e0Karlheinz Friedberger46mo ago

Merge pull request #282 from Swalkyn/master

561947bKarlheinz Friedberger46mo ago

improve unit test for allChar.

ae3a80bKarlheinz Friedberger46mo ago

Top contributors

Builders behind this project.

MichaelObermeier