Using gappa to solve float (ground) boolean constraints
Merge branch 'master' of https://github.com/kframework/k
added option to suppress warnings to float test
Oops.  Forgot a file
New version of gappa with less error messages
Apparently line wrapping is different on windows.