4 commits

Author	SHA1	Message	Date
Janus Knudsen	73a1f11e99	WIP	2025-03-03 17:40:16 +01:00
Janus C. H. Knudsen	71576a4b1f	Various work around the architecture	2025-03-03 00:42:20 +01:00
Janus Knudsen	e79f48e027	Adds more BDDs	2025-02-28 17:56:14 +01:00
Janus Knudsen	104187fcac	Adds LightBDD	2025-02-27 17:24:58 +01:00