mirror of
https://github.com/YosysHQ/yosys.git
synced 2026-08-29 01:24:25 +02:00
Claire Xenia Wolf
72787f52fc
s/((Claire|Xen|Xenia|Clifford)\s+)+(Wolf|Xen)\s+<(claire|clifford)@(symbioticeda.com|clifford.at|yosyshq.com)>/Claire Xenia Wolf <[email protected]>/gi; s/((Nina|Nak|N\.)\s+)+Engelhardt\s+<nak@(symbioticeda.com|yosyshq.com)>/N. Engelhardt <[email protected]>/gi; s/((David)\s+)+Shah\s+<(dave|david)@(symbioticeda.com|yosyshq.com|ds0.me)>/David Shah <[email protected]>/gi; s/((Miodrag)\s+)+Milanovic\s+<(miodrag|micko)@(symbioticeda.com|yosyshq.com)>/Miodrag Milanovic <[email protected]>/gi; s,https?://www.clifford.at/yosys/,http://yosyshq.net/yosys/,g;
************************************************************************** * * * 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.