Commits · b04c14e69318ec3ea7cb44cc6c8b3d1548fa1bdf · Matěj Bagar / biodivine-lib-bdd · GitLab

Nov 08, 2023
- Improved conversion and access patterns for `BddValuation` and `BddPartialValuation`. · b04c14e6
  Samuel Pastva authored Nov 08, 2023
  
  b04c14e6
Oct 18, 2023
- Bump version. · af37bcbd
  Samuel Pastva authored Oct 18, 2023
  
  af37bcbd
- Update `num-bigint`. · 1e30ce41
  Samuel Pastva authored Oct 18, 2023
  
  1e30ce41
- Add a function which translates BDDs between variable contexts. · 38d9b8ec
  Samuel Pastva authored Oct 18, 2023
  
  38d9b8ec
Sep 22, 2023
- Disable CI on `dev-*` branches. · 2d536c7b
  Samuel Pastva authored Sep 22, 2023
  
  2d536c7b
- Upgrade rust version in CI and fix typo. · 4165ebff
  Samuel Pastva authored Sep 22, 2023
  
  4165ebff
- Remove old githooks since nobody was using them. · 2274e587
  Samuel Pastva authored Sep 22, 2023
  
  2274e587
May 03, 2023
- Bump version. · aee9d8d3
  Samuel Pastva authored May 03, 2023
  
  aee9d8d3
- Faster tarpaulin installation in CI. · 0a5d7f03
  Samuel Pastva authored May 03, 2023
  
  0a5d7f03
- Update CI scripts. · 9c993f52
  Samuel Pastva authored May 03, 2023
  
  9c993f52
- Fix the serialization bug affecting buffered readers. · 390f6c3d
  Samuel Pastva authored May 03, 2023
  
  390f6c3d
- More idiomatic names for nested apply operations. · cad60c71
  Samuel Pastva authored May 03, 2023
  
  cad60c71
- Bump version. · 1c6e7357
  Samuel Pastva authored May 03, 2023
  
  1c6e7357
- Method for safe in-place renaming of BDD variables. · 893230ce
  Samuel Pastva authored May 03, 2023
  
  893230ce
- Update readme and add references to publication and Python bindings. · a056ae7c
  Samuel Pastva authored May 03, 2023
  
  a056ae7c
- Merge pull request #43 from sybila/sat-k-construction · 06a0df21
  Samuel Pastva authored May 03, 2023
```
Construct a BDD satisfied by exactly/up to `k` variables
```
  06a0df21
- Add method which constructs a BDD satisfied by exactly/up to `k` variables. · 92dc5a9f
  Samuel Pastva authored May 03, 2023
  
  92dc5a9f
- Merge pull request #42 from sybila/normal-forms · 33edf5ed
  Samuel Pastva authored May 03, 2023
```
Specialized algorithms for CNF/DNF construction and conversion
```
  33edf5ed
- Specialized algorithms for CNF/DNF construction and conversion. · 484ae3c1
  Samuel Pastva authored May 03, 2023
  
  484ae3c1
- Merge pull request #41 from sybila/nested-apply · 2f824dc6
  Samuel Pastva authored May 03, 2023
```
Faster `exists`/`for_all` using nested apply
```
  2f824dc6
- Better naming for "apply with projection" and improved test coverage. · ccc51d76
  Samuel Pastva authored May 03, 2023
  
  ccc51d76
- Formatting fix. · 011dfe1d
  Samuel Pastva authored May 03, 2023
  
  011dfe1d
- Fix warnings. · f7d5c7b1
  Samuel Pastva authored May 03, 2023
  
  f7d5c7b1
- A cleaned-up API for relational ops based on `nested_apply`. · 51cbe8da
  Samuel Pastva authored May 03, 2023
  
  51cbe8da
- A new `nested_apply` operation for faster computation of projection. · 962f8c29
  Samuel Pastva authored May 03, 2023
  
  962f8c29
Apr 24, 2023
- Add a `if_then_else` operation to `Bdd` (defers to `Bdd::ternary_op`). · 8ece5007
  Samuel Pastva authored Apr 24, 2023
  
  8ece5007
Feb 23, 2023
- Add missing `Clone` derive for `BddVariableSetBuilder`. · db331a46
  Samuel Pastva authored Feb 23, 2023
  
  db331a46
Dec 16, 2022
- Add an unsafe option to change tracked number of variables in a BDD. · 6001a4b7
  Samuel Pastva authored Dec 16, 2022
  
  6001a4b7
- Update `shields.io` url in README. · a2d323d6
  Samuel Pastva authored Dec 16, 2022
  
  a2d323d6
Dec 05, 2022
- Typo. · dc907cfc
  Samuel Pastva authored Dec 05, 2022
  
  dc907cfc
- Add test case for `Bdd::size_per_variable` and `Bdd::support_set`. · 7abf0657
  Samuel Pastva authored Dec 05, 2022
  
  7abf0657
- Add better documentation and basic tests for ops with limit. · 9e00d71a
  Samuel Pastva authored Dec 05, 2022
  
  9e00d71a
- Version bump (and clippy warning fix). · e3679f86
  Samuel Pastva authored Dec 05, 2022
  
  e3679f86
Oct 31, 2022
- Add an apply operation with result limit parameter. · c8214786
  Samuel Pastva authored Oct 31, 2022
  
  c8214786
Oct 28, 2022
- Fix caching bug in the complexity estimates. · 69cf5aed
  Samuel Pastva authored Oct 28, 2022
  
  69cf5aed
- Add a limit on the number of operations in the `check_binary_op` methods. · 2cbcf20e
  Samuel Pastva authored Oct 28, 2022
  
  2cbcf20e
- Add `support_set` operation to determine the used variables. · dab233e5
  Samuel Pastva authored Oct 28, 2022
  
  dab233e5
- Add a "dry_run" check operation that determines if the result of an operation... · 902f4233
  Samuel Pastva authored Oct 28, 2022
```
Add a "dry_run" check operation that determines if the result of an operation is empty and its complexity.
```
  902f4233
Oct 21, 2022
- A simple method for mapping the contribution of each variable to the overall size. · 7baad311
  Samuel Pastva authored Oct 21, 2022
  
  7baad311
- Test a hopefully faster algorithm for `necessary_clause`. · c0812600
  Samuel Pastva authored Oct 21, 2022
  
  c0812600