Full Changelog: release/v5.14.3...release/v5.14.4

Full Changelog: release/v5.14.3...release/v5.14.4

Full Changelog: release/v5.14.1...release/v5.14.3

Full Changelog: release/v5.14.1...release/v5.14.3

What's Changed

• Win build check by @msoos in #810
• Fixing python build by @msoos in #811

Full Changelog: release/v5.14.0...release/v5.14.2

What's Changed

• Win build check by @msoos in #810
• Fixing python build by @msoos in #811

Full Changelog: release/v5.14.0...release/v5.14.1

What's Changed

• correct binary name by @arijitsh in #787
• No need for toLbool parameter to be 32b by @msoos in #789
• Update macos-intel runner by @msoos in #790
• Only build on PR by @msoos in #792
• Use final, idea by @clonker by @msoos in #791
• Mark class final by @msoos in #793
• Update nix by @msoos in #795
• Fixing build by @msoos in #797
• Moving to new branches by @msoos in #798
• Fix double-multiplication bug in oracle_sparsify cache stats printing by @Copilot in #802
• Fix 3 bugs: duplicate safe_div, oracle cache sort truncation, lits_rem accumulation by @Copilot in #803
• Fix memory reporting (RSS vs vsize confusion) and oracle cache size overflow by @Copilot in #804
• Working on synth by @msoos in #801
• Fix windows build by @msoos in #805
• Update cmake by @msoos in #806
• Update nix by @msoos in #807
• Release fixes by @msoos in #808
• New release by @msoos in #809

Full Changelog: release/5.13.0...release/5.14.0

A lot of updates thanks to new Arjun

Fixing bug wit independent support. Now --onlyindep is no longer needed, it's default and is no longer supported. If you need to run without independent support, simply delete all c ind .. and c p show ... lines in your CNF.

Fixed a number of small, but annoying bugs.

New release that disables the possibility of including experimental libraries.

New release with new build system that does not need boost