Commits · 027bb83e814d5aec18c080004854b9cc6b679ad9 · lvzhengyang / abc · GitLab

03 Mar, 2017 1 commit
- Clone of the main SAT solver to eneable independent work. · 59348e22
  Alan Mishchenko committed 8 years ago
  
  59348e22 Browse File
02 Mar, 2017 1 commit
- Adding alternative generalization procedure. · ff88edd6
  Alan Mishchenko committed 8 years ago
  
  ff88edd6 Browse Directory
01 Mar, 2017 1 commit
- Adding efficient procedure to minimize the set of assumptions. · bd9b7d64
  Alan Mishchenko committed 8 years ago
  
  bd9b7d64 Browse Directory
11 Feb, 2017 2 commits
- Updates to variable activity in the SAT solver. · f6193c0d
  Alan Mishchenko committed 8 years ago
  
  f6193c0d Browse Directory
- Movinng custom floating-point implementations, etc. · 45f4d6c7
  Alan Mishchenko committed 8 years ago
  
  45f4d6c7 Browse Directory
07 Feb, 2017 1 commit
- Re-introducing floating-point activity in the SAT solver. · 44dbf992
  Alan Mishchenko committed 8 years ago
  
  44dbf992 Browse Directory
03 Feb, 2017 1 commit
- Improvements to inductive generalization in IC3/PDR by Zyad Hassan. · e91abd63
  Alan Mishchenko committed 8 years ago
  
  e91abd63 Browse Directory
29 Dec, 2016 1 commit
- Updates to delay optimization project. · 4488ab83
  Alan Mishchenko committed 8 years ago
  
  4488ab83 Browse Directory
20 May, 2016 1 commit
- Added switch 'bmc3 -r' to disable periodic restarts in the SAT solver. · 2ded89cc
  Alan Mishchenko committed 8 years ago
  
  2ded89cc Browse Directory
23 Apr, 2016 1 commit
- Improved algo for edge computation. · 67bfb4ba
  Alan Mishchenko committed 8 years ago
  
  67bfb4ba Browse Directory
13 Apr, 2016 2 commits
- Adding new implementation of LEXSAT. · 89d4ac50
  Alan Mishchenko committed 8 years ago
  
  89d4ac50 Browse Directory
- Restructing sat_solver_solve() method for pushing/popping assumptions. · 8de7383e
  Alan Mishchenko committed 8 years ago
  
  8de7383e Browse Directory
12 Apr, 2016 2 commits
- Removing unused feature of the SAT solver (user-guided variable ordering). · b4bb88ae
  Alan Mishchenko committed 8 years ago
  
  b4bb88ae Browse Directory
- Removing unused feature of the SAT solver (native support for cardinality constraint). · 3a553e15
  Alan Mishchenko committed 8 years ago
  
  3a553e15 Browse Directory
08 Feb, 2016 1 commit
- Experiments with SAT-based mapping. · 67f4f1ad
  Alan Mishchenko committed 9 years ago
  
  67f4f1ad Browse Directory
11 Jan, 2016 1 commit
- Experiments with SAT-based mapping. · 1bbf2398
  Alan Mishchenko committed 9 years ago
  
  1bbf2398 Browse Directory
10 Jan, 2016 1 commit
- Adding support of candinality clause to the SAT solver. · d6178631
  Alan Mishchenko committed 9 years ago
  
  d6178631 Browse Directory
04 Sep, 2015 2 commits
- Experiments with SAT-based collapsing. · b11344b4
  Alan Mishchenko committed 9 years ago
  
  b11344b4 Browse Directory
- Experiments with SAT-based collapsing. · 5bcde4be
  Alan Mishchenko committed 9 years ago
  
  5bcde4be Browse Directory
05 May, 2015 1 commit
- Bug fix in QBF solver. · 3e1c831b
  Alan Mishchenko committed 9 years ago
  
  3e1c831b Browse Directory
06 Mar, 2015 1 commit
- Experiments with SAT-based cube enumeration. · 6da21b8b
  Alan Mishchenko committed 10 years ago
  
  6da21b8b Browse Directory
29 Oct, 2014 1 commit
- Compiler warnings. · 135bf3ec
  Alan Mishchenko committed 10 years ago
  
  135bf3ec Browse Directory
07 Apr, 2014 1 commit
- Adding command to dump UNSAT core of BMC instance. · 42927d5e
  Alan Mishchenko committed 10 years ago
  
  42927d5e Browse Directory
01 Apr, 2014 1 commit
- Adding switch to handle only single faults. · 7b886346
  Alan Mishchenko committed 10 years ago
  
  7b886346 Browse Directory
05 Mar, 2014 1 commit
- Changes to LUT mappers. · a2ff2cb9
  Alan Mishchenko committed 11 years ago
  
  a2ff2cb9 Browse Directory
28 Feb, 2014 1 commit
- Changes to LUT mappers. · b556c259
  Alan Mishchenko committed 11 years ago
  
  b556c259 Browse Directory
01 Nov, 2013 1 commit
- Specialized induction check. · 34366b8a
  Alan Mishchenko committed 11 years ago
  
  34366b8a Browse Directory
31 Oct, 2013 1 commit
- Specialized induction check. · f620a857
  Alan Mishchenko committed 11 years ago
  
  f620a857 Browse Directory
02 Aug, 2013 1 commit
- SAT solver with dynamic CNF loading. · da60781c
  Alan Mishchenko committed 11 years ago
  
  da60781c Browse Directory
27 May, 2013 1 commit
- Adding a wrapper around clock() for more accurate time counting in ABC. · 19c25fd6
  Alan Mishchenko committed 11 years ago
  
  19c25fd6 Browse Directory
18 May, 2013 5 commits
- SAT variable profiling. · 0328488b
  Alan Mishchenko committed 11 years ago
  
  0328488b Browse Directory
- SAT variable profiling (undo). · 29ee997b
  Alan Mishchenko committed 11 years ago
  
  29ee997b Browse Directory
- SAT variable profiling. · 66ff650f
  Alan Mishchenko committed 11 years ago
  
  66ff650f Browse Directory
- SAT variable profiling (undo). · 84b3b914
  Alan Mishchenko committed 11 years ago
  
  84b3b914 Browse Directory
- SAT variable profiling. · 86e38c2a
  Alan Mishchenko committed 11 years ago
  
  86e38c2a Browse Directory
25 Apr, 2013 1 commit
- Adding rollback for the other solver. · ae9a4407
  Alan Mishchenko committed 11 years ago
  
  ae9a4407 Browse Directory
23 Feb, 2013 1 commit
- Compiler warnings. · 8281b56e
  Alan Mishchenko committed 12 years ago
  
  8281b56e Browse Directory
22 Jul, 2012 1 commit
- Recording and reusing learned util clauses in bmc3. · 2379dea4
  Alan Mishchenko committed 12 years ago
  
  2379dea4 Browse Directory
13 Jul, 2012 1 commit
- Several small changes and fixes. · d3ad7fba
  Alan Mishchenko committed 12 years ago
  
  d3ad7fba Browse Directory
11 Jul, 2012 1 commit
- Improvements in the proof-logging SAT solver. · b9ee5d85
  Alan Mishchenko committed 12 years ago
  
  b9ee5d85 Browse Directory