Search results

Add updates from SourceForge

bugSomething isn't workingSomething isn't working

enhancementNew feature or requestNew feature or request

Status: Open.

#15 In ssoelvsten/buddy;

· ssoelvsten opened on Feb 15, 2025

Unique Quantification is Broken

bugSomething isn't workingSomething isn't working

Status: Open.

#12 In ssoelvsten/buddy;

· nhusung opened on Mar 5, 2024

Add early-return for <code>bdd_exists</code> and <code>bdd_forall</code>

enhancementNew feature or requestNew feature or request

Status: Open.

#11 In ssoelvsten/buddy;

· ssoelvsten opened on Jan 26, 2024

Fix <code>bdd_setmaxnodenum</code> sets maximum to prime LARGER than maximum

bugSomething isn't workingSomething isn't working

good first issueGood for newcomersGood for newcomers

Status: Open.

#5 In ssoelvsten/buddy;

· ssoelvsten opened on Nov 11, 2022

Split hash buckets from the unique node table values

enhancementNew feature or requestNew feature or request

Status: Open.

#4 In ssoelvsten/buddy;

· ssoelvsten opened on Sep 9, 2021

Change nodetable and cache indexing from <code>int</code> to <code>ssize_t</code>

enhancementNew feature or requestNew feature or request

Status: Open.

#3 In ssoelvsten/buddy;

· ssoelvsten opened on Aug 2, 2021