Release 2.0.0

Release matching the CAV'24 tool paper on CaDiCaL 2.0.

• We have now a contrib directory and for starters there our
  CadiCraig interpolator, which goes through the Tracer API.

• We moved back to use the C99 flexible array member feature in
  Clause which however is not supported by all C++ compiler
  configurations, particularly if compiling in pedantic mode.
  Therefore the configure script checks for support of flexible
  array members and also has a new --no-flexible option.

• Added Dockerfile to support docker containers.

• Added --no-status to skip printing s SATISFIABLE or s UNSATISFIABLE.
  This is useful for online proof checking.

1.9.4

Version 1.9.4.

Re-enabled shrinking (can no longer repro shrinking-related problems).

1.9.0-noshrink

Version 1.9.0, but with shrinking disabled by default. Shrinking can lead to segfaults in some scenarios, but only rarely. Not sure if its a bug in the Win32 port, or the original version.

1.7.1-noshrink

Version 1.7.1, but with shrinking disabled by default. Shrinking can lead to segfaults in some scenarios, but only rarely. Not sure if its a bug in the Win32 port, or the original version.

1.7.0-noshrink

Version 1.7.0, but with shrinking disabled by default. Shrinking can lead to segfaults in some scenarios, but only rarely. Not sure if its a bug in the Win32 port, or the original version.

1.5.2-noshrink

Version 1.5.2, but with shrinking disabled by default. Shrinking can lead to segfaults in some scenarios, but only rarely. Not sure if its a bug in the Win32 port, or the original version.

1.5.2

upgrade to vs2022

sc2021

vc++ fixes

1.3.0

fixes for 1.3.0 release

rel-1.2.1e

Fixed time in reporting