![](/statics/img/blank.png)
UNB Theorem Prover?
You'll be able to download in 5 seconds.
You can also click on the following External Download Link to start download:
http://cs6725-prover.cvs.sourceforge.net/cs6725-prover
ABOUT UNB Theorem Prover?
Automated Theorem Prover implemented in Java and using clause trees. This software will be able to read mathematical theorems from TPTP and prove or disprove them.
Related Programs
-
fastAOP Free
FastAOP is an very high performant AOP (Aspect Oriented Programming) framework for java. The framework was initially developped to support performance profiling and monitoring for large J2EE applications with nearly no runnt
-
Butterfly Code Generator Free
Butterfly is a simple Code Generator using XMI as the input and XSLT templates to generate any type of code. Several templates are provided including EJB, JDO and Struts. Users may use the templates, modify them or create ne
-
Neural network designer Free
This project consists out of a windows based designer application and a library (that can run on multiple platforms, including android) together with several demo applications (including an MVC3 chatbot client and an android
-
DL-Learner Free
DL-Learner is a tool for learning concepts in Description Logics (DLs) from user-provided examples. Equivalently, it can be used to learn classes in OWL ontologies from selected objects.
-
MakeEmbeddedRootfilesystem Free
Makerootfs makes it easy to build a root filesystem for embedded devices (e.g. ARM based) by automating the cross-compiling process through shell scripts, patches and default configs. Unlike buildroot which uses uClibc, maker
-
VCS Agents and Tools Free
The goal of this project is to provide plugins ("agents") for the Veritas Cluster Server on an Open Source basis.
-
Etnia Workbench Free
Extensions to CDT project wich configure extra compilers and other plugins to make integrate various plattform (actually Texas Instrument & PIC microprocessors)
-
Steini\'s Mini Compiler Free
Steini\'s Mini Compiler is a fast DOS 16 bit compiler. Please help to improve the programming language writing new commands. The compiler uses a set of assembly files for the compilation process.
-
JCustomizer Free
The target of JCustomizer project is the generic and persistent customization of every Java Swing/AWT GUI at runtime: fonts, colors, texts, accelerators, ... A nice accompaniment is a WYSIWYG access to internationalization wi
-
net.sourceforge.ajstruts Free
Source code of an article (http://ajstruts.sf.net) published in 11/2003 in the german "Java Magazin" magazine, shows how to adapt 3rd party libs (e.g. struts) to project needs and ease migration to new library versi