1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
Thanks to:
+ Sergiusz Bazanski a fix in the contrib/setup-* scripts in 2019.
+ Nina Engelhardt for fixing --stop-first handling in btormc in 2020.
+ Marco Gario for fixing a race condition in the build system in 2018.
+ Felix Griesau for a fix in the contrib/setup-* scripts in 2020.
+ Jannis Harder for fixing instructions and scripts for building Boolector for
64-bit Windows in 2020.
+ Andrew V. Jones for
- setting up a patch set for building Boolector for Windows in 2019
- fixes in contrib/setup-* scripts and the build system in 2019
- adding termination support for CaDiCaL in 2019
- fixing instructions and scripts for building Boolector for 64-bit Windows
in 2020
- providing a Dockerfile for Boolector in 2020
- fixes/additions in Boolector's C and Python API in 2019 and 2020
- fixing #136 in 2020
|
