Add 'operator bool()' for BDDs and ZDDs as branching variables

4722f40

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

Codecov

codecov/patch

codecov/project

Coverage on: pull_request

Build + Test (incl. code coverage)

Linux on: pull_request

Build + Test (gcc-12)

Build + Test (gcc-13)

Build + Test (gcc-14)

Build + Test (clang-14)

Build + Test (clang-15)

Build + Test (clang-16)

Build + Test (clang-17)

Examples on: pull_request

Basic

Builder

Functional

Queens (1 2 3 4 5 6 7 8 9 10 11 12 13 14)

MacOS on: pull_request 4

Build + Test (clang@16)

Build + Test (clang@latest)

Benchmark [PR] on: pull_request_target 2

Fetch branch

Fetch remote

Picotrav adder

Picotrav arbiter

Picotrav mem_ctrl

QBF breakthrough/3x4_19_bwnib

QBF breakthrough_dual/3x6_10_bwnib

QBF connect4/6x6_11_connect4_bwnib

QBF domineering/5x5_13_bwnib

QBF ep/8x8_7_e-8-1_p-3-4_bwnib

QBF ep_dual/8x8_6_e-8-1_p-2-3_bwnib

QBF hex/hein_08_5x5-11_bwnib

QBF httt/4x4_9_tippy_bwnib

12-Queens

14-Queens

Doxygen on: pull_request

Compile Doxygen

Static Analysis on: pull_request_target

inclusion guards

cppcheck

System Test on: pull_request 1

Fetch branch name

Hamiltonian (ZDD) (1 2 3 4 5 6 7)

Queens (BDD) (8 9 10 11 12 13 14)

Queens (ZDD) (8 9 10 11 12 13 14)

Tic-Tac-Toe (BDD) (18 19 20 21 22)

Tic-Tac-Toe (ZDD) (18 19 20 21 22)

Picotrav (arithmetic)

Picotrav (random_control)

Windows on: pull_request 1

Build + Test

Select a check to view from the sidebar