opam file (for easy developement version)
in oasis, version is "dev"
FeatureVector.Make.retrieve_alpha_equiv
opam file: use compiled setup
Util: removed a String.create deprecation warning
removed useless function
Skolem: at creation, now possible to specify prefix for Tseitin atoms
require bytes to keep compatibility with < 4.02 (String.init too recent)
fix quick tests
do not depend on CCError.t
merge from dev
version 0.6