Arjun v2.7.1

Full Changelog: release/v2.7.0...release/v2.7.1

Full Changelog: release/v2.7.0...release/v2.7.1

Arjun 2.7.0

What's Changed

• Add flake by @itepastra in #14
• Add nix build by @msoos in #15
• Use final, idea by @clonker by @msoos in #17
• Update macos-intel runner by @msoos in #16
• Allow setting weights without unique_ptr by @msoos in #18
• No arm linux runner, update to mac 15 by @msoos in #19
• Only build nix on pr by @msoos in #21
• Make these functions take a const by @msoos in #22
• More checking of var by @msoos in #23
• Update nix2 by @msoos in #24
• Update ensmallen by @msoos in #25
• Fix build new by @msoos in #26
• Update branches of cadical and cadiback by @msoos in #27
• Cleanup, prepare for synth work by @msoos in #28
• Better error reporting when multiple c p show is given by @msoos in #31
• fixed ordering by @kuldeepmeel in #33
• balanced AIG construction to avoid segfault due to deep recursion by @kuldeepmeel in #35
• New strategy system by @msoos in #36
• Fix build pipeline by @msoos in #37
• Fix 8 bugs in synthesis framework by @Copilot in #38
• Fix 10 more bugs in synthesis framework by @Copilot in #39
• Fix 5 deeper bugs in synthesis framework by @Copilot in #40
• Harden synthesis strategy parsing and repair-limit correctness in Manthan by @Copilot in #42
• Minim indep info by @msoos in #44
• Fixing up synthesis framework by @msoos in #29
• Fix nix by @msoos in #45
• Fix build by @msoos in #47
• Fix build by @msoos in #48
• Ml improve sdlx fixpoint 5 v1 by @msoos in #46
• Ml improve genbuf and query v2 by @msoos in #49

New Contributors

• @itepastra made their first contribution in #14
• @msoos made their first contribution in #15
• @kuldeepmeel made their first contribution in #33
• @Copilot made their first contribution in #38

Full Changelog: 2.5.4...release/v2.7.0

Arjun 2.6.1

release/2.6.1

Update build.yml

Arjun 2.6.0

Release of Arjun 2.6.0

Arjun 2.5.4

New release to match with the new CryptoMiniSat release

Arjun 2.5.2

This Arjun has a fixed independent set generation with fixed order and a few fixed minor issues, also disabled irregular gate detection. It also has an improved elimination strategy.

Arjun 2.5.1

Our first major release. To be used with CryptoMiniSat revision 3be6e0f56ce55685e029afb93bfcc2d0800d8c1f.