javasmt-solver-bitwuzla javasmt-solver-bitwuzla

Group	org.sosy-lab
描述	SMT solver Bitwuzla for use in JavaSMT
Packaging	pom
Size	2.02 KB
文件	pom jar
网址	https://github.com/sosy-lab/java-smt
发布时间	2024-05-31 01:46

dependencies

Group	Artifact	Version

developers

	Karlheinz Friedberger	Software Systems Lab
	Dirk Beyer	Software Systems Lab

licenses

MIT License

https://opensource.org/licenses/MIT