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 (
Collapse
)
Author
Age
*
Added native support for shift operations to ezSAT
Clifford Wolf
2014-07-30
|
*
Added ezSAT::keep_cnf() and ezSAT::non_incremental()
Clifford Wolf
2014-07-21
|
*
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