An additional module is implemented

A library that converts any logical expression
to cnf and finds all models with PicoSAT is implemented