Added support for bcminisat2simp

Signed-off-by: Ronald Huizer <r.huizer@xs4all.nl>