cnf :: Environment -> Int -> CNF
cnf env n = encode env (encoder (constraints n))
cnf :: Environment -> Int -> CNF
cnf env n = encode env (encoder (constraints n))
cnf env n = encode env (encoder (constraints n))