search

aspiwack / randomizer-engine

generic, declarative randomizer engine which draws shuffles uniformely
6 stars 0 forks source link

An ∃SAT modelotron suitable for model counting #36

Closed aspiwack closed 1 year ago