solver working for our current binary constraints. run main in Einstein.hs to see example