%% -*- erlang -*-
{application, varp,
 [{description, "VARP"},
  {vsn,"0.9.46"},
  {registered, []},
  {modules, [varp,varp_ast,varp_backjump,varp_backtrack,varp_circuit,varp_clean,varp_cnf,varp_code,varp_conflict,varp_debug,varp_dimacs,varp_dimax,varp_falsify,varp_formula,varp_latex,varp_math,varp_monitor,varp_nc,varp_nif,varp_nif_test,varp_option,varp_order,varp_parse,varp_plugin,varp_prove,varp_rat,varp_reduction,varp_satisfy,varp_saturate,varp_scan,varp_snf,varp_succ,varp_test,varp_tune,varp_user,varp_validate,varp_wx,varp_wx_layout,varp_wx_settings,varp_parse,varp_snf,varp_scan]},
  {env, [
	 {plugins, [
		    {"sat",   "satisfy",     varp_satisfy},
		    {"unsat", "falsify",     varp_falsify},
		    {"p",     "prove",       varp_prove},
		    {"ord",   "order",       varp_order},
		    {"bt",    "backtrack",   varp_backtrack},
		    {"bj",    "backjump",    varp_backjump},
		    {"s",     "saturate",    varp_saturate},
		    {"red",   "reduction",   varp_reduction},
		    {"rat",   "rat",         varp_rat},
		    {"cnf",   "cnf",         varp_cnf},
		    {"mon",   "monitor",     varp_monitor},
		    {"clean", "clean",       varp_clean},
		    {"succ",  "succ",        varp_succ},
		    {"validate", "validate", varp_validate},
		    {"wx",     "wx",         varp_wx},
		    {"dbg",    "debug",      varp_debug}
		   ]}
	 ]},
  {applications,[kernel,stdlib]}
  ]}.
