Write a new README file   (jl+kfl)
Make examples             (jl+kfl)
Add bdd_satone (kfl)
Document var. reorder stuff (kfl)
Tests (kfl+jl)
Test fdd.vars for the case domain 0 (jl)
Change names to follow SBL conventions (kfl)
interface to setminfreenodes (kfl)


