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

minisat2_2.2.1.orig.tar.gz

Homepage:-
Package version:-
Architecture:-
Distribution:Debian
Filename:minisat2_2.2.1.orig.tar.gz

/minisat2-2.2.1/README

================================================================================
Quick Install

- Decide where to install the files . The simplest approach is to use
  GNU standard locations and just set a "prefix" for the root install
  directory (reffered to as $PREFIX below). More control can be
  achieved by overriding other of the GNU standard install locations
  (includedir, bindir, etc). Co
more»

/minisat2-2.2.1/doc/ReleaseNotes-2.2.0.txt

Release Notes for MiniSat 2.2.0
===============================

Changes since version 2.0:

 * Started using a more standard release numbering.

 * Includes some now well-known heuristics: phase-saving and luby
   restarts. The old heuristics are still present and can be activated
   if needed.

 * Detection/Handling of out-of-memory and vector capacity
   overflow. This is fairly new and relativ
more»

/minisat2-2.2.1/LICENSE

MiniSat -- Copyright (c) 2003-2006, Niklas Een, Niklas Sorensson
           Copyright (c) 2007-2010  Niklas Sorensson

Permission is hereby granted, free of charge, to any person obtaining a
copy of this software and associated documentation files (the
"Software"), to deal in the Software without restriction, including
without limitation the rights to use, copy, modify, merge, publish,
distribute,
more»

Browse inside minisat2_2.2.1.orig.tar.gz

         [DIR]minisat2-2.2.1/ (6)

Download minisat2_2.2.1.orig.tar.gz

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