view OPPL/FaCT++-linux-v1.5.2/64bit/FaCT++ @ 11:6ca67b155e32

Imports simplified, new tool for inference added
author Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
date Fri, 09 Mar 2012 16:15:27 +0100
parents 40adbcb2a7cc
children
line wrap: on
line source

(binary:application/octet-stream)