mirror of
https://github.com/YosysHQ/yosys
synced 2025-10-27 17:59:26 +00:00
72787f52fc
s/((Claire|Xen|Xenia|Clifford)\s+)+(Wolf|Xen)\s+<(claire|clifford)@(symbioticeda.com|clifford.at|yosyshq.com)>/Claire Xenia Wolf <claire@yosyshq.com>/gi; s/((Nina|Nak|N\.)\s+)+Engelhardt\s+<nak@(symbioticeda.com|yosyshq.com)>/N. Engelhardt <nak@yosyshq.com>/gi; s/((David)\s+)+Shah\s+<(dave|david)@(symbioticeda.com|yosyshq.com|ds0.me)>/David Shah <dave@ds0.me>/gi; s/((Miodrag)\s+)+Milanovic\s+<(miodrag|micko)@(symbioticeda.com|yosyshq.com)>/Miodrag Milanovic <micko@yosyshq.com>/gi; s,https?://www.clifford.at/yosys/,http://yosyshq.net/yosys/,g;
29 lines
1.2 KiB
Text
29 lines
1.2 KiB
Text
|
|
**************************************************************************
|
|
* *
|
|
* The ezSAT C++11 library *
|
|
* *
|
|
* A simple frontend to SAT solvers with bindings to MiniSAT. *
|
|
* by Claire Xenia Wolf *
|
|
* *
|
|
**************************************************************************
|
|
|
|
============
|
|
Introduction
|
|
============
|
|
|
|
This library acts as a frontend to SAT solvers and a helper for generating
|
|
CNF for sat solvers. It comes with bindings for MiniSAT (http://minisat.se/).
|
|
|
|
Have a look at demo_bit.cc and demo_vec.cc for examples of how to set up
|
|
a SAT problem using ezSAT. Have a look at puzzle3d.cc for a more complex
|
|
(real-world) example of using ezSAT.
|
|
|
|
|
|
C++11 Warning
|
|
-------------
|
|
|
|
This project is written in C++11. Use appropriate compiler switches to compile
|
|
it. Tested with clang version 3.0 and option -std=c++11. Also tested with gcc
|
|
version 4.6.3 and option -std=c++0x.
|
|
|