Codebase list fact++ / run/95e9a4a1-4f07-4e05-bccb-b9e9901dd42f/main update.properties.p4.1
run/95e9a4a1-4f07-4e05-bccb-b9e9901dd42f/main

Tree @run/95e9a4a1-4f07-4e05-bccb-b9e9901dd42f/main (Download .tar.gz)

update.properties.p4.1 @run/95e9a4a1-4f07-4e05-bccb-b9e9901dd42f/mainraw · history · blame

1
2
3
4
5
6
7
name=FaCT++ reasoner
id=uk.ac.manchester.cs.owl.factplusplus
version=1.6.3.1
download=https://bitbucket.org/dtsarkov/factplusplus/downloads/uk.ac.manchester.cs.owl.factplusplus-P5.0-v1.6.3.1.jar
readme=http://factplusplus.googlecode.com/svn/trunk/version-info-p4.1.html
license=http://www.gnu.org/licenses/lgpl.html
author=Dmitry Tsarkov, The University of Manchester