search

LAPKT-dev / LAPKT-public

LAPKT public repository
GNU General Public License v3.0
39 stars 24 forks source link

FD style SAS parser #7

Closed tobyodavies closed 9 years ago

tobyodavies commented 9 years ago

This allows us to write drop-in replacements for FD's search component so we can a) debug easier (with a pure C++ program) and b) take advantage of things like SymBA*'s operator pruning in the preprocessor.

tobyodavies commented 9 years ago

P.S. Compare this against the watched-lit-succgen PR --- I didn't do that on a branch :(

miquelramirez commented 9 years ago

Thanks Toby!