All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Download wytp JAR file with all dependencies

Search JAR files by class name

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.

Group: org.whiley Artifact: wytp
Show documentation Show source 
 

0 downloads
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!



Page 1 from 1 (items total 1)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy