v2.3.6

Small cleanup in how the Out Of Memory exception is defined, thrown
and handled in general. This should slightly improve compilation times,
runtime performance (under older compiler/lesser optimization levels),
and simplifies handling Minisat's OOM reporting from the outside.

Release v2.3.5

Only conan fixes (again).

Release v2.3.4

* fixed conanfile for windows

Locksley's release 2.3.3

Only conan-related changes.

v2.3.1

* Speedup adding clauses by not sorting unary and binary clauses

Locksley's MiniSAT release 2.3.0

Remove a file that is not used in main branch.

Import of version 2.0.