chris-wood / minisat Goto Github PK
View Code? Open in Web Editor NEWThis project forked from niklasso/minisat
A minimalistic and high-performance SAT solver
Home Page: minisat.se
License: Other
This project forked from niklasso/minisat
A minimalistic and high-performance SAT solver
Home Page: minisat.se
License: Other
================================================================================ 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). Configuring with just a prefix: > make config prefix=$PREFIX - Compiling and installing: > make install ================================================================================ Configuration - Multiple configuration steps can be joined into one call to "make config" by appending multiple variable assignments on the same line. - The configuration is stored in the file "config.mk". Look here if you want to know what the current configuration looks like. - To reset from defaults simply remove the "config.mk" file or call "make distclean". - Recompilation can be done without the configuration step. [ TODO: describe configartion possibilities for compile flags / modes ] ================================================================================ Building [ TODO: describe seperate build modes ] ================================================================================ Install [ TODO: ? ] ================================================================================ Directory Overview: minisat/mtl/ Mini Template Library minisat/utils/ Generic helper code (I/O, Parsing, CPU-time, etc) minisat/core/ A core version of the solver minisat/simp/ An extended solver with simplification capabilities doc/ Documentation README LICENSE ================================================================================ Examples: Run minisat with same heuristics as version 2.0: > minisat <cnf-file> -no-luby -rinc=1.5 -phase-saving=0 -rnd-freq=0.02
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.