Commits · 67247b7209967a94d84e20b77f90dbc0ef5de108 · lvzhengyang / abc · GitLab

31 Oct, 2019 1 commit
- Changes to several APIs. · 6b2fe00c
  Alan Mishchenko committed 5 years ago
  
  6b2fe00c Browse File
06 Dec, 2017 1 commit
- An improvement to 'twoexact' and 'lutexact'. · 67181d04
  Alan Mishchenko committed 7 years ago
  
  67181d04 Browse File
03 Sep, 2017 1 commit
- Improvements to minimize_assumptions. · f9914988
  Alan Mishchenko committed 7 years ago
  
  f9914988 Browse File
12 Apr, 2017 1 commit
- Experiments with hashing. · 000e51f3
  Alan Mishchenko committed 7 years ago
  
  000e51f3 Browse File
04 Apr, 2017 1 commit
- Experiments with don't-cares. · 44605f5a
  Alan Mishchenko committed 7 years ago
  
  44605f5a Browse File
21 Mar, 2017 1 commit
- added callbacks to bmc3 and sat solver · bacc1bc1
  Yen-Sheng Ho committed 7 years ago
  
  bacc1bc1 Browse File
02 Mar, 2017 3 commits
- Adding alternative generalization procedure. · ff88edd6
  Alan Mishchenko committed 8 years ago
  
  ff88edd6 Browse File
- Adding efficient procedure to minimize the set of assumptions (improved literal reordering). · 160d1311
  Alan Mishchenko committed 8 years ago
  
  160d1311 Browse File
- Adding alternative generalization procedure. · 7747d89c
  Alan Mishchenko committed 8 years ago
  
  7747d89c Browse File
01 Mar, 2017 1 commit
- Adding efficient procedure to minimize the set of assumptions. · bd9b7d64
  Alan Mishchenko committed 8 years ago
  
  bd9b7d64 Browse File
16 Feb, 2017 2 commits
- Fixing missing sat_solver APIs in 'iprove'. · 6d6bf874
  Alan Mishchenko committed 8 years ago
  
  6d6bf874 Browse File
- Fixing missing sat_solver APIs in 'iprove'. · bcc6d268
  Alan Mishchenko committed 8 years ago
  
  bcc6d268 Browse File
12 Feb, 2017 1 commit
- Commenting out uncommented message. · 4abb1ce8
  Alan Mishchenko committed 8 years ago
  
  4abb1ce8 Browse File
11 Feb, 2017 1 commit
- Updates to variable activity in the SAT solver. · f6193c0d
  Alan Mishchenko committed 8 years ago
  
  f6193c0d Browse File
07 Feb, 2017 2 commits
- Re-introducing floating-point activity in the SAT solver. · 80f5070d
  Alan Mishchenko committed 8 years ago
  
  80f5070d Browse File
- Re-introducing floating-point activity in the SAT solver. · 44dbf992
  Alan Mishchenko committed 8 years ago
  
  44dbf992 Browse File
03 Feb, 2017 1 commit
- Improvements to inductive generalization in IC3/PDR by Zyad Hassan. · e91abd63
  Alan Mishchenko committed 8 years ago
  
  e91abd63 Browse File
16 Jul, 2016 1 commit
- Fixes and adjustments for the edge computation flow. · 1343b8a8
  Alan Mishchenko committed 8 years ago
  
  1343b8a8 Browse File
16 Jun, 2016 1 commit
- Experiments with edge-based mapping. · e1b51d18
  Alan Mishchenko committed 8 years ago
  
  e1b51d18 Browse File
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 File
30 Apr, 2016 1 commit
- This code was accidentally deleted from the SAT solver (effectively disabling restarts!) · e3e62366
  Alan Mishchenko committed 8 years ago
  
  e3e62366 Browse File
23 Apr, 2016 1 commit
- Improved algo for edge computation. · 67bfb4ba
  Alan Mishchenko committed 8 years ago
  
  67bfb4ba Browse File
13 Apr, 2016 2 commits
- Adding new implementation of LEXSAT. · 89d4ac50
  Alan Mishchenko committed 8 years ago
  
  89d4ac50 Browse File
- Restructing sat_solver_solve() method for pushing/popping assumptions. · 8de7383e
  Alan Mishchenko committed 8 years ago
  
  8de7383e Browse File
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 File
- Removing unused feature of the SAT solver (native support for cardinality constraint). · 3a553e15
  Alan Mishchenko committed 8 years ago
  
  3a553e15 Browse File
04 Apr, 2016 1 commit
- Improvements to delay-optimization in &satlut. · 72008275
  Alan Mishchenko committed 8 years ago
  
  72008275 Browse File
10 Jan, 2016 1 commit
- Adding support of candinality clause to the SAT solver. · d6178631
  Alan Mishchenko committed 9 years ago
  
  d6178631 Browse File
04 Sep, 2015 2 commits
- Experiments with SAT-based collapsing. · b11344b4
  Alan Mishchenko committed 9 years ago
  
  b11344b4 Browse File
- Experiments with SAT-based collapsing. · 5bcde4be
  Alan Mishchenko committed 9 years ago
  
  5bcde4be Browse File
07 Apr, 2014 1 commit
- Adding command to dump UNSAT core of BMC instance. · 42927d5e
  Alan Mishchenko committed 10 years ago
  
  42927d5e Browse File
17 Sep, 2013 2 commits
- Compiler warning about unused variable. · ca39b892
  Alan Mishchenko committed 11 years ago
  
  ca39b892 Browse File
- Changing dynamic CNF loading code to perform loading before propagate() as… · 5df166fc
```
Changing dynamic CNF loading code to perform loading before propagate() as opposed to when the literal first implied in enqueue().
```
  Alan Mishchenko committed 11 years ago
  5df166fc Browse File
02 Aug, 2013 1 commit
- SAT solver with dynamic CNF loading. · da60781c
  Alan Mishchenko committed 11 years ago
  
  da60781c Browse File
21 Jun, 2013 1 commit
- Limiting runtime limit checks in 'pdr'. · cec6bd64
  Alan Mishchenko committed 11 years ago
  
  cec6bd64 Browse File
27 May, 2013 2 commits
- Adding a wrapper around clock() for more accurate time counting in ABC. · 19c25fd6
  Alan Mishchenko committed 11 years ago
  
  19c25fd6 Browse File
- Changing how often timeout is checked in the SAT solver and several application packages. · 446cfcf8
  Alan Mishchenko committed 11 years ago
  
  446cfcf8 Browse File
18 May, 2013 3 commits
- SAT variable profiling. · f9da2c79
  Alan Mishchenko committed 11 years ago
  
  f9da2c79 Browse File
- SAT variable profiling. · 0328488b
  Alan Mishchenko committed 11 years ago
  
  0328488b Browse File
- SAT variable profiling (undo). · 29ee997b
  Alan Mishchenko committed 11 years ago
  
  29ee997b Browse File