Module Ppx_sat