Crucible support as a Symbolic Engine

[rafaelsamenezes]

Is your feature request related to a problem? Please describe.
Currently, we only have support for KLEE as a symbolic engine, the issue is that it contains a limitation for floating numbers. Crucible supports enconding for floats, has support for SV-COMP notation and it's API contains all that is needed for a Generator.

Describe the solution you'd like
Implement a NonDetGeneratorCrucible and compare it with KLEE specially for floats.

[hbgit]

Thanks for your help @rafaelsamenezes . Could you point me some paper or DOCs for Crucible?