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

alt-ergo_0.9.orig.tar.gz

Homepage:-
Package version:-
Architecture:-
Distribution:Ubuntu
Filename:alt-ergo_0.9.orig.tar.gz

/alt-ergo-0.9/README

Alt-Ergo is an automatic theorem prover.  Alt-Ergo's input is an arbitray
first-order formula.


Various examples can be found in the subdirectory tests/.

COPYRIGHT
=========

This program is distributed under the CeCILL-C licence.
See the enclosed file COPYING.


INSTALLATION
============

See the enclosed file INSTALL.

/alt-ergo-0.9/CHANGES

version 0.9, May 12th, 2009
===============================

  o support for C-like hexadecimal floating-point constants
  o handles the division operator 

version 0.8, July 21th, 2008
===============================

  o pretty output with the -color option
  o the SAT solver part is now equipped with a backjumping mechanism
  o now handles the flet and let SMT-lib constructs 
  o goal directed 
more»

/alt-ergo-0.9/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.9.orig.tar.gz

         [DIR]alt-ergo-0.9/ (81)

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

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