riscv
/
OpenFPGA
mirror of https://github.com/lnis-uofu/OpenFPGA.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
OpenFPGA/yosys/libs/ezsat
History
AurelienUoU 555570c15e Update Yosys from version 0.7 to version 0.8 2019-05-23 16:03:08 -06:00
..
.gitignore Add Yosys and update flow_flow Perl Script 2018-11-30 21:14:43 -07:00
Makefile Add Yosys and update flow_flow Perl Script 2018-11-30 21:14:43 -07:00
README Add Yosys and update flow_flow Perl Script 2018-11-30 21:14:43 -07:00
demo_bit.cc Add Yosys and update flow_flow Perl Script 2018-11-30 21:14:43 -07:00
demo_cmp.cc Add Yosys and update flow_flow Perl Script 2018-11-30 21:14:43 -07:00
demo_vec.cc Add Yosys and update flow_flow Perl Script 2018-11-30 21:14:43 -07:00
ezminisat.cc Update Yosys from version 0.7 to version 0.8 2019-05-23 16:03:08 -06:00
ezminisat.h Update Yosys from version 0.7 to version 0.8 2019-05-23 16:03:08 -06:00
ezsat.cc Add Yosys and update flow_flow Perl Script 2018-11-30 21:14:43 -07:00
ezsat.h Add Yosys and update flow_flow Perl Script 2018-11-30 21:14:43 -07:00
puzzle3d.cc Add Yosys and update flow_flow Perl Script 2018-11-30 21:14:43 -07:00
puzzle3d.scad Add Yosys and update flow_flow Perl Script 2018-11-30 21:14:43 -07:00
testbench.cc Add Yosys and update flow_flow Perl Script 2018-11-30 21:14:43 -07:00

README 

  **************************************************************************
  *                                                                        *
  *                       The ezSAT C++11 library                          *
  *                                                                        *
  * A simple frontend to SAT solvers with bindings to MiniSAT.             *
  *                                                       by Clifford 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.