index
:
yosys
master
Debian dgit repo for package yosys
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
libs
/
ezsat
/
ezsat.h
Commit message (
Expand
)
Author
Age
*
Improved ezsat stand-alone tests
Clifford Wolf
2014-05-06
*
ezSAT: Added frozen_literal() API
Clifford Wolf
2014-03-03
*
ezSAT: Fixed handling of eliminated Literals, added auto-freeze for expressions
Clifford Wolf
2014-03-03
*
Added ezSAT::eliminated API to help the SAT solver remember eliminated variables
Clifford Wolf
2014-03-01
*
Removed ezSAT::assumed() API
Clifford Wolf
2014-03-01
*
Added support for Minisat::SimpSolver + ezSAT frezze() API
Clifford Wolf
2014-02-23
*
Added ezsat vec_const() api
Clifford Wolf
2013-11-25
*
Removed undef feature from ezsat api
Clifford Wolf
2013-11-25
*
Added ezsat api for creation of anonymous vectors
Clifford Wolf
2013-08-15
*
Added SAT support for $div and $mod cells
Clifford Wolf
2013-08-11
*
Added timout functionality to SAT solver
Clifford Wolf
2013-06-20
*
Fixed gcc build (c++11 stuff in ezSAT)
Clifford Wolf
2013-06-12
*
Added ezSAT api support for don't care values in models
Clifford Wolf
2013-06-09
*
Improved sat generator and sat_solve pass
Clifford Wolf
2013-06-07
*
Added ezSAT library
Clifford Wolf
2013-06-07