Added a routine that will replace icnstr_solve, started implementing the Z3 interface in Postiats.