Download wytp JAR file with all dependencies
wytp from group org.whiley (version 0.7.0)
This provides a simple implementation of an automated theorem
prover, designed specifically for use with the Whiley Compiler.
Artifact wytp
Group org.whiley
Version 0.7.0
Last update 08. October 2020
Tags: whiley prover automated designed with theorem simple implementation provides compiler this specifically
Organization not specified
URL http://whiley.org
License Apache License, Version 2.0
Dependencies amount 3
Dependencies wycc, wycli, ant,
There are maybe transitive dependencies!
Group org.whiley
Version 0.7.0
Last update 08. October 2020
Tags: whiley prover automated designed with theorem simple implementation provides compiler this specifically
Organization not specified
URL http://whiley.org
License Apache License, Version 2.0
Dependencies amount 3
Dependencies wycc, wycli, ant,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)