GitHub · Where software is built

implement and check ZDD.compose
#13 · shnarazk opened on Mar 30, 2025
implement and check ZDD.numberOfSatisiablePathes
#14 · shnarazk opened on Mar 30, 2025
implement and check ZDD.apply
#12 · shnarazk opened on Mar 30, 2025

Labels Milestones New issue

How about introducing <code>GraphBuilder</code>

#15

· shnarazk opened

on Apr 3, 2025

implement and check <code>ZDD.numberOfSatisiablePathes</code>

#14

· shnarazk opened

on Mar 30, 2025

implement and check <code>ZDD.compose</code>

#13

· shnarazk opened

on Mar 30, 2025

implement and check <code>ZDD.apply</code>

#12

· shnarazk opened

on Mar 30, 2025

Implement ZDD

#6

· shnarazk opened

on Mar 25, 2025

Idempotentness of <code>toBDD</code> and <code>toZDD</code>

#5

· shnarazk opened

on Mar 22, 2025