Commits · f49e8f0fe73e2b9cf673f754c9fd0951be9a3756 · lvzhengyang / abc · GitLab

26 Mar, 2018 1 commit
- Integrating SAT-based CEX minimization (bug fix). · a2d59be3
  Alan Mishchenko committed 6 years ago
  
  a2d59be3 Browse Directory
25 Mar, 2018 1 commit
- Integrating SAT-based CEX minimization. · e639e8fd
  Alan Mishchenko committed 6 years ago
  
  e639e8fd Browse Directory
22 Jan, 2018 1 commit
- Updates to exact synthesis commands. · 67e820a5
  Alan Mishchenko committed 7 years ago
  
  67e820a5 Browse Directory
19 Jan, 2018 1 commit
- Updates to exact synthesis commands. · 6274498e
  Alan Mishchenko committed 7 years ago
  
  6274498e Browse Directory
05 Jan, 2018 2 commits
- New command 'testexact'. · 7d781c37
  Alan Mishchenko committed 7 years ago
  
  7d781c37 Browse Directory
- New command 'testexact'. · 834e2480
  Alan Mishchenko committed 7 years ago
  
  834e2480 Browse Directory
31 Dec, 2017 1 commit
- New exact synthesis command 'allexact'. · f3dcf87c
  Alan Mishchenko committed 7 years ago
  
  f3dcf87c Browse Directory
29 Dec, 2017 2 commits
- New exact synthesis command 'allexact'. · 75d334a0
  Alan Mishchenko committed 7 years ago
  
  75d334a0 Browse Directory
- New exact synthesis command 'allexact'. · 7d7ce3ec
  Alan Mishchenko committed 7 years ago
  
  7d7ce3ec Browse Directory
06 Dec, 2017 9 commits
- Adding parameter structure to 'twoexact' and 'lutexact'. · c7b65a15
  Alan Mishchenko committed 7 years ago
  
  c7b65a15 Browse Directory
- An improvement to 'twoexact' and 'lutexact'. · 93b96fc3
  Alan Mishchenko committed 7 years ago
  
  93b96fc3 Browse Directory
- An improvement to 'twoexact' and 'lutexact'. · c6b962ef
  Alan Mishchenko committed 7 years ago
  
  c6b962ef Browse Directory
- An improvement to 'twoexact' and 'lutexact'. · e37bbba7
  Alan Mishchenko committed 7 years ago
  
  e37bbba7 Browse Directory
- An improvement to 'twoexact' and 'lutexact'. · 9e515ae3
  Alan Mishchenko committed 7 years ago
  
  9e515ae3 Browse Directory
- An improvement to 'twoexact' and 'lutexact'. · 67181d04
  Alan Mishchenko committed 7 years ago
  
  67181d04 Browse Directory
- Switch -a to use only AND-gates in 'twoexact' and 'lutexact'. · c4322a0a
  Alan Mishchenko committed 7 years ago
  
  c4322a0a Browse Directory
- An improvement to 'twoexact' and 'lutexact'. · b258db83
  Alan Mishchenko committed 7 years ago
  
  b258db83 Browse Directory
- New command 'lutexact'. · 3f35ac81
  Alan Mishchenko committed 7 years ago
  
  3f35ac81 Browse Directory
19 Oct, 2017 2 commits
- Adding random search in exact synthesis. · 15908929
  Alan Mishchenko committed 7 years ago
  
  15908929 Browse Directory
- Integrating old SAT solver into majexact and twoexact. · 8f690fe8
  Alan Mishchenko committed 7 years ago
  
  8f690fe8 Browse Directory
11 Oct, 2017 1 commit
- Another variation on exact synthesis. · 711ea3df
  Alan Mishchenko committed 7 years ago
  
  711ea3df Browse Directory
01 Oct, 2017 3 commits
- Exact synthesis of majority gates. · c2721889
  Alan Mishchenko committed 7 years ago
  
  c2721889 Browse Directory
- Exact synthesis of majority gates. · ce8dbc4a
  Alan Mishchenko committed 7 years ago
  
  ce8dbc4a Browse Directory
- Exact synthesis of majority gates. · d3152aef
  Alan Mishchenko committed 7 years ago
  
  d3152aef Browse Directory
16 Sep, 2017 1 commit
- Enabling variable elim in &bmcs -g. · e7def3d4
  Alan Mishchenko committed 7 years ago
  
  e7def3d4 Browse Directory
08 Sep, 2017 2 commits
- Disabling CNF simplification in &bmcs -g. · af4c76e2
  Alan Mishchenko committed 7 years ago
  
  af4c76e2 Browse Directory
- Trying to enable CNF simplification in &bmcs -g. · ba0d855f
  Alan Mishchenko committed 7 years ago
  
  ba0d855f Browse Directory
07 Sep, 2017 3 commits
- Adding global conflict counter to Satoko (to make it apple-to-apple with other solvers). · 3ffb098d
  Alan Mishchenko committed 7 years ago
  
  3ffb098d Browse Directory
- Integrating Glucose into bmc3 -g. · 97dd6019
  Alan Mishchenko committed 7 years ago
  
  97dd6019 Browse Directory
- Integrating Glucose into &bmcs -g. · f68bd519
  Alan Mishchenko committed 7 years ago
  
  f68bd519 Browse Directory
30 Aug, 2017 2 commits
- Small changes to printouts in &bmcs. · a321d4cb
  Alan Mishchenko committed 7 years ago
  
  a321d4cb Browse Directory
- Small changes to printouts in &bmcs. · d103c4e2
  Alan Mishchenko committed 7 years ago
  
  d103c4e2 Browse Directory
29 Aug, 2017 1 commit
- Fixing bronken C++ build; Satoko internal header, solver.h, should not be used in other packages · ba8112ff
  Bruno Schmitt committed 7 years ago
  
  ba8112ff Browse Directory
16 Aug, 2017 7 commits
- Adding runtime profile to &bmcs. · d80bbe74
  Alan Mishchenko committed 7 years ago
  
  d80bbe74 Browse Directory
- Bug fix in &bmcs. · efa96546
  Alan Mishchenko committed 7 years ago
  
  efa96546 Browse Directory
- Adding an option to bmc3 to use Satoko intead of the default SAT solver. · 73650524
  Alan Mishchenko committed 7 years ago
  
  73650524 Browse Directory
- Bug fix in &bmcs. · 85eee2ea
  Alan Mishchenko committed 7 years ago
  
  85eee2ea Browse Directory
- Bug fix in &bmcs. · e6dd7cb5
  Alan Mishchenko committed 7 years ago
  
  e6dd7cb5 Browse Directory
- Changing enconding of the SAT solver return value in &bmcs. · c5131ca8
  Alan Mishchenko committed 7 years ago
  
  c5131ca8 Browse Directory
- Integrating Satoko into 'bmc' and 'bmc2'. · 23d36a8d
  Alan Mishchenko committed 7 years ago
  
  23d36a8d Browse Directory