1. 26 May, 2021 1 commit
    • Mathias Preiner's avatar
      Squashed commit of the following: · 0745299f
      Mathias Preiner authored
      commit 82768677
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Thu Feb 18 10:09:58 2021 -0800
      
          Update README.md.
      
      commit c83c4a15
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Tue Feb 16 15:54:56 2021 -0800
      
          Remove trivially unsat benchmarks.
      0745299f
  2. 02 May, 2020 1 commit
  3. 26 Jul, 2019 1 commit
  4. 02 May, 2019 1 commit
  5. 17 Jun, 2017 2 commits
  6. 15 Jun, 2017 1 commit
  7. 05 Jun, 2017 3 commits