Milestones
List view
Model Counter for CNF inputs.
No due date•1/1 issues closedSimple Model Checker for Petri Nets and Boolean Networks.
No due date•11/15 issues closedSearch for unreachable initial states in Conway's Game of Life
No due date•6/6 issues closedApply and RelProd operation(s) on two (or more) real-word BDDs
No due date•6/7 issues closedSimple and naive BDD-based QBF solver for QCIR inputs.
No due date•4/6 issues closedThe classical combinatorial counting problem of placing N queens on an NxN chess board.
No due date•3/3 issues closedA minimal version of the Nanotrav program shipped with CUDD.
No due date•8/8 issues closedCombinatorial problem of counting the number of possible draws on a 4x4 cube when only placing *N* crosses.
No due date•3/3 issues closedNumber of Hamiltonian Cycles in a Grid-Graph.
No due date•14/14 issues closed