Add Josat solver