Code

Forgotten misc changes#29

Code

Merged

AurumTheEnd merged 22 commits intomainsybila/biodivine-boolean-functions:mainfrom feat/dnf-simplify-miscsybila/biodivine-boolean-functions:feat/dnf-simplify-miscCopy head branch name to clipboardMay 23, 2024

+1,394-89

Commits

Commits on May 22, 2024

• refactor(expression): renamed distribute to distribute_cnf

  AurumTheEnd

  committed
  45e3eab

• chore: added license

  AurumTheEnd

  committed
  a81f0c6

• feat(expression): added and implemented Equality trait for Expression

  AurumTheEnd

  committed
  b3142fa

• feat(expression): added semantic test for Implication

  AurumTheEnd

  committed
  a21b532

• feat(expression): added to_dnf and is_dnf

  AurumTheEnd

  committed
  24db97d

Commits on May 23, 2024

• chore(build): updated dev script to determine script location

  AurumTheEnd

  committed
  a352762

• feat(expressions): added is_nnf

  AurumTheEnd

  committed
  c681f5b

• revert(expressions): partially reverted dynamic dispatch changeset from aef82f0

  AurumTheEnd

  committed
  ffbd4a1

• feat(bindings): added Python iterator wrappers for expressions

  AurumTheEnd

  committed
  262b5b5

• feat(bindings): added utility expression constructor functions

  AurumTheEnd

  committed
  914eecf

• feat(bindings): hopefully finalized Python expression API

  AurumTheEnd

  committed
  033a7da

• fix(bindings): removed unused results from Table's pymethods

  AurumTheEnd

  committed
  0500a37

• build: bumped dependencies version

  AurumTheEnd

  committed
  fc6b659

• refactor(table)!: restructured support iterator to not use Box

  AurumTheEnd

  committed
  acbc142

• feat(bindings): added Python iterator wrappers for tables

  AurumTheEnd

  committed
  ebd4224

• feat(bindings): hopefully finalized Python table API

  AurumTheEnd

  committed
  8af43a7

• refactor(bdd)!: restructured image iterator to not use Box

  AurumTheEnd

  committed
  e61dd91

• feat(bindings): added Python iterator wrappers for bdds

  AurumTheEnd

  committed
  24418df

• feat(bindings): hopefully finalized Python bdd API

  AurumTheEnd

  committed
  bfe12b2

• fix(bindings): removed unused results from expression's pymethods

  AurumTheEnd

  committed
  1bfbb2b

• feat(bindings): finalized bindings

  AurumTheEnd

  committed
  5d6e112

• feat(bindings): finalized README

  AurumTheEnd

  committed
  a408f44