grisette-0.8.0.0: Symbolic evaluation as a library