Filewatcher File Search File Search
Catalog
Content Search
» » » » » »

stp-devel

Development files for STP constraint solver/decision procedure

Development files for the STP (Simple Theorem Prover), a constraint solver (also referred to as a decision procedure or automated prover). Provides a static library.
Homepage:
Package version:0.1
Architecture:i686
Distribution:Fedora
Filename:stp-devel-0.1-9.20120109svn.fc17.i686.rpm

Browse inside stp-devel-0.1-9.20120109svn.fc17.i686.rpm

836 B2014-11-27HEADER  view  656+ mirrors
         [DIR]usr/ (2)  65535+ mirrors

Download stp-devel-0.1-9.20120109svn.fc17.i686.rpm

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com