Download wytp JAR 0.7.0 with all dependencies
This provides a simple implementation of an automated theorem
prover, designed specifically for use with the Whiley Compiler.
Files of the artifact wytp version 0.7.0 from the group org.whiley.
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!
The newest version!
Show all versions of wytp Show documentation
Please rate this JAR file. Is it a good library?
0 downloads
Source code of wytp version 0.7.0
Please wait ...