Commits · 82bfe3a48fe0f0baae2d9ad15ddc45e1a96038f3 · lvzhengyang / abc · GitLab

05 Feb, 2018 1 commit
- Suggested fix to compile on FreeBSD. · 00fb1d70
  Alan Mishchenko committed 7 years ago
  
  00fb1d70 Browse Directory
29 Dec, 2017 1 commit
- New exact synthesis command 'allexact'. · 7d7ce3ec
  Alan Mishchenko committed 7 years ago
  
  7d7ce3ec Browse Directory
03 Dec, 2017 3 commits
- Portability changes for gcc-6 suggested by Clifford. · a49dfbcf
  Alan Mishchenko committed 7 years ago
  
  a49dfbcf Browse Directory
- Portability changes for gcc-6 suggested by Clifford. · 46175d04
  Alan Mishchenko committed 7 years ago
  
  46175d04 Browse Directory
- Portability changes for gcc-6 suggested by Clifford. · 3cc4080c
  Alan Mishchenko committed 7 years ago
  
  3cc4080c Browse Directory
24 Nov, 2017 1 commit
- C++ comaptibility: add namespace support to Glucose · 7bcfe643
  Baruch Sterin committed 7 years ago
  
  7bcfe643 Browse Directory
14 Nov, 2017 1 commit
- Extracting CSAT interface and several cleanups. · 203629fd
  Alan Mishchenko committed 7 years ago
  
  203629fd Browse Directory
13 Nov, 2017 1 commit
- Improvements to quantification. · 71d9a167
  Alan Mishchenko committed 7 years ago
  
  71d9a167 Browse Directory
07 Nov, 2017 3 commits
- Compiler warnings. · 6bbbbe20
  Alan Mishchenko committed 7 years ago
  
  6bbbbe20 Browse Directory
- Profiling quantification and other changes. · 5fd6dc0f
  Alan Mishchenko committed 7 years ago
  
  5fd6dc0f Browse Directory
- Profiling quantification and other changes. · 71696919
  Alan Mishchenko committed 7 years ago
  
  71696919 Browse Directory
29 Oct, 2017 1 commit
- Improvements to quantification. · e21052df
  Alan Mishchenko committed 7 years ago
  
  e21052df Browse Directory
17 Oct, 2017 1 commit
- Integrating Glucose into &qbf. · c1b4b79e
  Alan Mishchenko committed 7 years ago
  
  c1b4b79e Browse Directory
06 Oct, 2017 1 commit
- Improvements to SAT based SOP computation. · f97b8d28
  Alan Mishchenko committed 7 years ago
  
  f97b8d28 Browse Directory
04 Oct, 2017 2 commits
- Experiments with SAT-based quantification. · fbdf438d
  Alan Mishchenko committed 7 years ago
  
  fbdf438d Browse Directory
- Experiments with SAT-based quantification. · 0a3af509
  Alan Mishchenko committed 7 years ago
  
  0a3af509 Browse Directory
03 Oct, 2017 1 commit
- Addressing recently reported Bitbucket Issue #72 and #73. · 21aa0ee0
  Alan Mishchenko committed 7 years ago
  
  21aa0ee0 Browse Directory
02 Oct, 2017 1 commit
- Fixing minimize_assuptions using Glucose. · d0286dce
  Alan Mishchenko committed 7 years ago
  
  d0286dce Browse Directory
18 Sep, 2017 2 commits
- Enabling Glucose in SAT sweeping: &fraig -g. · 36858c53
  Alan Mishchenko committed 7 years ago
  
  36858c53 Browse Directory
- Changes to Glucose to enable resetting the solver. · 12d21480
  Alan Mishchenko committed 7 years ago
  
  12d21480 Browse Directory
16 Sep, 2017 6 commits
- Compiler warning. · 7e7ba156
  Alan Mishchenko committed 7 years ago
  
  7e7ba156 Browse Directory
- Enabling variable elim in &bmcs -g. · e7def3d4
  Alan Mishchenko committed 7 years ago
  
  e7def3d4 Browse Directory
- Adding support for Dimacs input to &satoko. · b5d42e8b
  Alan Mishchenko committed 7 years ago
  
  b5d42e8b Browse Directory
- Improvements in Glucose integration. · 6d2efdf2
  Alan Mishchenko committed 7 years ago
  
  6d2efdf2 Browse Directory
- Bug fix in Glucose integration. · f5cb9d64
  Alan Mishchenko committed 7 years ago
  
  f5cb9d64 Browse Directory
- Undoing updates to &bmcs to help debugging. · 2da82045
  Alan Mishchenko committed 7 years ago
  
  2da82045 Browse Directory
15 Sep, 2017 1 commit
- Changes and fixed suggested by Clifford Wolf. · 50bed57c
  Alan Mishchenko committed 7 years ago
  
  50bed57c Browse Directory
12 Sep, 2017 1 commit
- Updates to &bmcs to help debugging. · 4c0b78cf
  Alan Mishchenko committed 7 years ago
  
  4c0b78cf Browse Directory
08 Sep, 2017 8 commits
- Experiments with Glucose. · f1b7f906
  Alan Mishchenko committed 7 years ago
  
  f1b7f906 Browse Directory
- Experiments with Glucose. · 03e7b720
  Alan Mishchenko committed 7 years ago
  
  03e7b720 Browse Directory
- Avoid command name collision. · 32312c43
  Alan Mishchenko committed 7 years ago
  
  32312c43 Browse Directory
- Compiler warnings. · 4cbc97a4
  Alan Mishchenko committed 7 years ago
  
  4cbc97a4 Browse Directory
- Compiler warnings. · 8a11c911
  Alan Mishchenko committed 7 years ago
  
  8a11c911 Browse Directory
- Compiler warnings. · 7ce7e9ec
  Alan Mishchenko committed 7 years ago
  
  7ce7e9ec Browse Directory
- 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 4 commits
- Bug fix: forgot to init the runtime limit in Glucose. · 68b59b8a
  Alan Mishchenko committed 7 years ago
  
  68b59b8a Browse Directory
- Integrating Glucose into bmc3 -g. · 97dd6019
  Alan Mishchenko committed 7 years ago
  
  97dd6019 Browse Directory
- More renaming. · b1bf802f
  Alan Mishchenko committed 7 years ago
  
  b1bf802f Browse Directory
- Renaming Glucose namespace to avoid collisions with external solvers. · bd6d95fa
  Alan Mishchenko committed 7 years ago
  
  bd6d95fa Browse Directory