Skip to content
This repository has been archived by the owner on Apr 17, 2018. It is now read-only.

Latest commit

 

History

History
23 lines (18 loc) · 710 Bytes

TODO.md

File metadata and controls

23 lines (18 loc) · 710 Bytes

TODO

  • 2017-03-10 00:53 streamline constraint accretion to focus on offending pairs:

    [(:a :b :c :d :e :f) (:b :e)] -> [([:a :b] [:d :f]) ([:b :e])]

    (all
  (conde
    [(fd/> :a :b)]
    [(fd/> :d :f)])
  (conde
    [(fd/> :b :e)]
    • consider how to eliminate identical if they occur in every sequence
    • consider that (a<b | b<c) && (b<c) -> (b<c)
    • and (a<b | b<c) && (c<b) -> (a<b)

  • 2017-03-03 12:52 investigate reducers library to speed up stream processing

  • 2017-03-03 12:53 design a constraint-accretion system to feed to solvo

    • acummulate in due-filter
    • teach solvo to read constraints