Feature_extraction (docs.other.smtml.Smtml.Feature

val read_marshalled_file : 
  Fpath.t ->
  ((string * Expr.t list * bool * int64 * [ `Sat | `Unsat | `Unknown ]) list,
    Rresult.R.msg)
    Smtml_prelude.result

val extract_feats : Expr.t list -> Smtzilla_utils.Regression_model.features

val extract_feats_wtime : 
  Expr.t list ->
  int64 ->
  Smtzilla_utils.Regression_model.features

val cmd : Fpath.t -> Fpath.t -> unit