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

alt-ergo_0.94.orig.tar.gz

Homepage:-
Package version:-
Architecture:-
Distribution:Debian
Filename:alt-ergo_0.94.orig.tar.gz

/alt-ergo-0.94/README

**************************************************************************
*                                                                        *
*     The Alt-Ergo theorem prover                                        *
*     Copyright (C) 2006-2011                                            *
*                                                                        *
*     Sylvain Conchon    
more»

/alt-ergo-0.94/CHANGES

version 0.94, December 2nd, 2011
=================================

  o the theory of records replaces the theory of pairs
  o bug fixes 
    (intervals, term data-structure, stack-overflows, matching, 
     existentials, distincts, CC, GUI)
  o improvements 
     (SMT-Lib2 front-end, intervals, case-splits,
      triggers, lets)
  o multiset ordering for AC(X) 
  o manual lemma instantiation in 
more»

/alt-ergo-0.94/COPYING

The Alt-Ergo verifier
Copyright (C) 2006 Sylvain Conchon

This program is free software; you can redistribute it and/or modify
it under the terms of the CeCILL-C FREE SOFTWARE LICENSE AGREEMENT.

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

See the CeCILL-C FREE S
more»

Browse inside alt-ergo_0.94.orig.tar.gz

         [DIR]alt-ergo-0.94/ (104)  4 mirrors

Download alt-ergo_0.94.orig.tar.gz

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