Support bdd and zdd as conditionals

[ssoelvsten]

Closes #536 . This might be useful for @pallehpetersen when implementing Boolean Vectors (#436)

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 97.037%. Comparing base (075a978) to head (4722f40).
⚠️ Report is 6 commits behind head on main.

Additional details and impacted files

@@              Coverage Diff              @@
##              main      #754       +/-   ##
=============================================
+ Coverage   97.033%   97.037%   +0.003%     
=============================================
  Files           99        99               
  Lines         7281      7289        +8     
=============================================
+ Hits          7065      7073        +8     
  Misses         216       216               

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[github-actions]

🟡 Regression Test (QBF 'breakthrough_dual/3x6_10_bwnib')

'ssoelvsten/adiar/feat/bool-conversion' is a change in performance of -2.13% (stdev: 1.11%).

...	origin/main	ssoelvsten/adiar/feat/bool-conversion
Mean	4575.33	4672.67
Standard Deviation	51.01	43.32

Number of samples: 3

[github-actions]

🟡 Regression Test (QBF 'ep_dual/8x8_6_e-8-1_p-2-3_bwnib')

'ssoelvsten/adiar/feat/bool-conversion' is a change in performance of -0.62% (stdev: 1.02%).

...	origin/main	ssoelvsten/adiar/feat/bool-conversion
Mean	5183.33	5215.67
Standard Deviation	52.65	4.04

Number of samples: 3

[github-actions]

🟡 Regression Test (QBF 'hex/hein_08_5x5-11_bwnib')

'ssoelvsten/adiar/feat/bool-conversion' is a change in performance of -0.03% (stdev: 0.47%).

...	origin/main	ssoelvsten/adiar/feat/bool-conversion
Mean	17015.67	17021.00
Standard Deviation	80.03	10.15

Number of samples: 3

[github-actions]

🟡 Regression Test (QBF 'httt/4x4_9_tippy_bwnib')

'ssoelvsten/adiar/feat/bool-conversion' is a change in performance of -0.52% (stdev: 0.82%).

...	origin/main	ssoelvsten/adiar/feat/bool-conversion
Mean	8927.33	8974.00
Standard Deviation	25.42	73.63

Number of samples: 3

[github-actions]

🟡 Regression Test (12-Queens)

'ssoelvsten/adiar/feat/bool-conversion' is a change in performance of -0.22% (stdev: 1.13%).

...	origin/main	ssoelvsten/adiar/feat/bool-conversion
Mean	12029.67	12056.67
Standard Deviation	42.25	136.31

Number of samples: 3

[github-actions]

🔴 Regression Test (QBF 'ep/8x8_7_e-8-1_p-3-4_bwnib')

'ssoelvsten/adiar/feat/bool-conversion' is a change in performance of -1.95% (stdev: 0.68%).

...	origin/main	ssoelvsten/adiar/feat/bool-conversion
Mean	28380.67	28933.67
Standard Deviation	67.24	197.36

Number of samples: 3

[github-actions]

🟡 Regression Test (QBF 'connect4/6x6_11_connect4_bwnib')

'ssoelvsten/adiar/feat/bool-conversion' is a change in performance of -0.18% (stdev: 1.07%).

...	origin/main	ssoelvsten/adiar/feat/bool-conversion
Mean	12181.67	12203.67
Standard Deviation	130.48	33.20

Number of samples: 3

[github-actions]

🟡 Regression Test (QBF 'breakthrough/3x4_19_bwnib')

'ssoelvsten/adiar/feat/bool-conversion' is a change in performance of -0.96% (stdev: 0.71%).

...	origin/main	ssoelvsten/adiar/feat/bool-conversion
Mean	22052.33	22264.33
Standard Deviation	156.03	42.50

Number of samples: 3

[github-actions]

🔴 Regression Test (QBF 'domineering/5x5_13_bwnib')

'ssoelvsten/adiar/feat/bool-conversion' is a change in performance of -0.92% (stdev: 0.24%).

...	origin/main	ssoelvsten/adiar/feat/bool-conversion
Mean	15009.00	15146.33
Standard Deviation	21.79	37.07

Number of samples: 3

[github-actions]

🟡 Regression Test (Picotrav 'mem_ctrl')

'ssoelvsten/adiar/feat/bool-conversion' is a change in performance of -0.07% (stdev: 0.14%).

...	origin/main	ssoelvsten/adiar/feat/bool-conversion
Mean	258204.67	258377.33
Standard Deviation	363.61	194.69

Number of samples: 3

[github-actions]

🟢 Regression Test (14-Queens)

'ssoelvsten/adiar/feat/bool-conversion' is a change in performance of 0.57% (stdev: 0.23%).

...	origin/main	ssoelvsten/adiar/feat/bool-conversion
Mean	268329.67	266796.67
Standard Deviation	487.74	624.62

Number of samples: 3

[github-actions]

🟡 Regression Test (Picotrav 'adder')

'ssoelvsten/adiar/feat/bool-conversion' is a change in performance of -3.29% (stdev: 10.68%).

...	origin/main	ssoelvsten/adiar/feat/bool-conversion
Mean	12405.30	12813.40
Standard Deviation	136.36	1368.88

Number of samples: 10

[github-actions]

🟡 Regression Test (Picotrav 'arbiter')

'ssoelvsten/adiar/feat/bool-conversion' is a change in performance of -4.95% (stdev: 10.51%).

...	origin/main	ssoelvsten/adiar/feat/bool-conversion
Mean	71218.44	74743.56
Standard Deviation	778.07	7853.46

Number of samples: 9