initial
go further
sequences of assigns
coercing all ints into reals
binop
whitespace cleanup, minor completions
delete old stuff
rename to bbb
refactoring, and writing and reading of environments by the human solver
skip gets an axiom
safepoint
fix parser to not wrap variables twice
first working version
if then works
formatting
import work
add rml submodule and make building work
add examples
add task to run examples