Search results

Binary arithmatic/integer bitvector helpers

Status: Open.

#76 In sybila/biodivine-lib-bdd;

· TiemenSch opened on Dec 3, 2025

DNF generator

Status: Open.

#60 In sybila/biodivine-lib-bdd;

· daemontus opened on Sep 26, 2024

Avoid recursion in the parser

Status: Open.

#56 In sybila/biodivine-lib-bdd;

· daemontus opened on Sep 17, 2024

Provide generic BddVariableSet that does not necessarily rely on string names

Status: Open.

#50 In sybila/biodivine-lib-bdd;

· daemontus opened on Feb 13, 2024

Self-referential substitution

Status: Open.

#46 In sybila/biodivine-lib-bdd;

· daemontus opened on Dec 24, 2023

Reconsider Ord trait on BddValuation

Status: Open.

#36 In sybila/biodivine-lib-bdd;

· daemontus opened on Mar 3, 2023

·  

1.0.0

Allow BDD operations to execute as interruptible async functions

enhancementNew feature or requestNew feature or request

performance

Status: Open.

#33 In sybila/biodivine-lib-bdd;

· daemontus opened on May 18, 2022

·  

1.0.0

A greedy pick implementation

enhancementNew feature or requestNew feature or request

Status: Open.

#31 In sybila/biodivine-lib-bdd;

· daemontus opened on Feb 7, 2022

Remove guarantees on node ordering from Bdd representation.

enhancementNew feature or requestNew feature or request

Status: Open.

#26 In sybila/biodivine-lib-bdd;

· daemontus opened on Sep 1, 2021

·  

1.0.0

Consider alternative names for BddVariableSet.

questionFurther information is requestedFurther information is requested

Status: Open.

#12 In sybila/biodivine-lib-bdd;

· daemontus opened on May 29, 2021

·  

1.0.0

BooleanExpression using a binary operation "action enum".

enhancementNew feature or requestNew feature or request

Status: Open.

#5 In sybila/biodivine-lib-bdd;

· daemontus opened on Feb 7, 2020

·  

1.0.0

Improve Bdd export to BooleanExpression

enhancementNew feature or requestNew feature or request

Status: Open.

#3 In sybila/biodivine-lib-bdd;

· daemontus opened on Feb 7, 2020

·  

1.0.0