Commits · c42aeb81a491c2276c997c909453d44c83c08cba · lvzhengyang / abc · GitLab

07 Jun, 2016 1 commit
- Improvement to CNF encoding of cardinality constraints proposed by Mathias Soaken. · 998aeff1
  Alan Mishchenko committed 8 years ago
  
  998aeff1 Browse File
13 Feb, 2016 1 commit
- Adding support for a different bit-blasting of a multiplier and squarer. · 390a145f
  Alan Mishchenko committed 9 years ago
  
  390a145f Browse File
09 Feb, 2016 1 commit
- Experiments with SAT-based mapping. · 66796c38
  Alan Mishchenko committed 9 years ago
  
  66796c38 Browse File
08 Feb, 2016 1 commit
- Experiments with SAT-based mapping. · 67f4f1ad
  Alan Mishchenko committed 9 years ago
  
  67f4f1ad Browse File