Open
Milestone started on Oct 24, 2020

Integrate RBTF/WAP into DAGaml

  • DONE : Import from private branch
  • DONE : clean and functorize test_rbtf_o_u then connect with advanced model
  • TODO : add basic GC mechanism similar to `oops/OfExprOfOops'
    • THEN : add basic invariant learning mechanism + restart
  • DONE : Implementing CRBTF with LDD-O-U
    • TODO : Extend to LDD-*
  • TODO : Implement MaxSAT-RBTF with LDD-O-U
    • TODO : Extend to LDD-*