Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

csisat-1.2-6.fc15 RPM for i686

From Fedora 15 updates for i386

Name: csisat Distribution: Fedora Project
Version: 1.2 Vendor: Fedora Project
Release: 6.fc15 Build date: Mon Nov 14 20:44:41 2011
Group: Applications/Engineering Build host: x86-11.phx2.fedoraproject.org
Size: 626321 Source RPM: csisat-1.2-6.fc15.src.rpm
Packager: Fedora Project
Url: http://csisat.googlecode.com/
Summary: Tool for LA+EUF Interpolation
 
CSIsat reads a set of mathematical formulas that may combine variables,
addition, multiplication, comparisons (<,>, etc.), as well as boolean
expressions (and, or, not).  It determines if it is possible to set the
variables to values so that the set of formulas are all simultaneously true
(if it can, then the set of formulas is "satisfiable").

More technically, CSIsat is an interpolating decision procedure for the
quantifier-free theory of rational linear arithmetic (LA) and equality with
uninterpreted function (EUF) symbols.  This implementation combines the
efficiency of linear programming for solving the arithmetic part with the
efficiency of a SAT solver to reason about the boolean structure.

Provides

Requires

License

ASL 2.0

Changelog

* Mon Nov 14 2011 Jerry James <loganjerry@gmail.com> - 1.2-6
  - Change supported arches list to %{ocaml_arches}
  - Drop unnecessary spec file elements (%clean, etc.)
* Tue Feb 08 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.2-5
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
* Mon Jan 31 2011 Jerry James <loganjerry@gmail.com> - 1.2-4
  - Don't use the OCaml dependency generators, which find no dependencies
  - Update list of supported arches from the ocaml spec file
* Thu Jan 27 2011 Jerry James <loganjerry@gmail.com> - 1.2-3
  - Rebuild for new picosat and new ocaml
  - BR subversion to eliminate build noise from svnversion failing
  - Parallel make still isn't fixed; disable until I can figure it out
* Tue Jan 19 2010 Jerry James <loganjerry@gmail.com> - 1.2-2
  - Fix parallel make
  - Less opaque description
* Wed Sep 02 2009 Jerry James <loganjerry@gmail.com> - 1.2-1
  - Initial RPM

Files

/usr/bin/csisat
/usr/bin/csisatServer
/usr/share/doc/csisat-1.2
/usr/share/doc/csisat-1.2/License.txt
/usr/share/doc/csisat-1.2/License_Apache-2.0.txt
/usr/share/doc/csisat-1.2/README
/usr/share/doc/csisat-1.2/ReadMe.txt
/usr/share/doc/csisat-1.2/ToDo.txt

Generated by rpm2html 1.8.1

Fabrice Bellet, Mon May 20 07:38:10 2013