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

hol-light_20120602.orig.tar.gz

Homepage:-
Package version:-
Architecture:-
Distribution:Debian
Filename:hol-light_20120602.orig.tar.gz

/hol-light-20120602/Boyer_Moore/README

                            BOYER-MOORE AUTOMATION

                      (c) Petros Papapanagiotou 2008-2009
                           University of Edinburgh

This code implements and extends for HOL Light some of the classic
techniques due to Boyer and Moore for automating inductive proofs. It
is described in the MSc thesis "On the Automation of Inductive Proofs
in HOL Light", available online
more»

/hol-light-20120602/IsabelleLight/README

 ========================================================================= 
                              Isabelle Light                               
   Isabelle/Procedural style additions and other user-friendly shortcuts.  
                                                                           
                   Petros Papapanagiotou, Jacques Fleuriot                 
              Centre
more»

/hol-light-20120602/LP_arith/README

HOL interface to cddlib to provide a faster linear prover.

   http://www.ifor.math.ethz.ch/~fukuda/cdd_home/

Once cddlib is installed, just do "make" in this directory,
and then load "LP_arith/lp_arith.ml" into HOL Light.

(c) Lars Schewe (schewe@mathematik.tu-darmstadt.de), 2007

/hol-light-20120602/Minisat/README

This code interfaces HOL Light to the MiniSat propositional prover, so
that the proof logs produced 
more»

/hol-light-20120602/Minisat/zc2mso/README

zc2mso.C contains code to translate proofs produced by zChaff to the proof
format used by MiniSat 1.
more»

/hol-light-20120602/Proofrecording/README

*****************************************************
****                                          
more»

/hol-light-20120602/QBF/README

HOL Light reconstruction for Squolem proofs of quantified boolean formulas.

              (c) Copyr
more»

/hol-light-20120602/README

                             HOL LIGHT

HOL Light is an interactive theorem prover / proof checker. 
more»

Browse inside hol-light_20120602.orig.tar.gz

         [DIR]hol-light-20120602/ (86)

Download hol-light_20120602.orig.tar.gz

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