1. 20 May, 2022 1 commit
  2. 26 May, 2021 1 commit
    • Mathias Preiner's avatar
      Squashed commit of the following: · f6c38837
      Mathias Preiner authored
      commit d9fca8cb
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Thu Feb 18 10:10:00 2021 -0800
      
          Update README.md.
      
      commit a4dc23a6
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Tue Feb 16 15:54:57 2021 -0800
      
          Remove trivially unsat benchmarks.
      
      commit 0ff14dc4
      Author: Mathias Preiner <mathias.preiner@gmail.com>
      Date:   Tue Feb 16 14:26:24 2021 -0800
      
          Move benchmarks without quantifiers to QF_UFFPDTLIRA.
      f6c38837
  3. 02 May, 2020 1 commit
  4. 25 Apr, 2020 2 commits