Commits · 6d9c8daece678e3c09ad862666d81268019fdd49 · lvzhengyang / abc · GitLab

21 Nov, 2018 1 commit
- Adding switch &w -n to modify the comment section of the AIGER file written. · 5aa3025c
  Alan Mishchenko committed 6 years ago
  
  5aa3025c Browse File
20 May, 2016 1 commit
- Enabling AIGs without structural hashing. · 555ed0b1
  Alan Mishchenko committed 8 years ago
  
  555ed0b1 Browse File
06 Mar, 2015 1 commit
- Experiments with SAT-based cube enumeration. · 6da21b8b
  Alan Mishchenko committed 10 years ago
  
  6da21b8b Browse File
21 May, 2014 2 commits
- Experiment with support minimization. · 81607212
  Alan Mishchenko committed 10 years ago
  
  81607212 Browse File
- Simple version of ECO. · ab85108c
  Alan Mishchenko committed 10 years ago
  
  ab85108c Browse File