csisat-1.2-6.fc15 RPM for x86_64

From Fedora 15 updates for x86_64

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

• csisat
• csisat(x86-64)

Requires

• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.14)(64bit)
• libc.so.6(GLIBC_2.2.5)(64bit)
• libc.so.6(GLIBC_2.3)(64bit)
• libc.so.6(GLIBC_2.3.4)(64bit)
• libc.so.6(GLIBC_2.4)(64bit)
• libc.so.6(GLIBC_2.7)(64bit) <=
• libdl.so.2()(64bit)
• libdl.so.2(GLIBC_2.2.5)(64bit) >=
• libglpk.so.0()(64bit)
• libm.so.6()(64bit) >
• libm.so.6(GLIBC_2.2.5)(64bit) >
• libpicosat.so.0()(64bit) >
• libpthread.so.0()(64bit) >
• libpthread.so.0(GLIBC_2.2.5)(64bit) <=
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rtld(GNU_HASH)
• rpmlib(PayloadIsXz) >= 5.2-1

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:32:46 2013