diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-11 23:50:07 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-11 23:50:07 -0300 |
| commit | 6520b876af064d57bccf944a6fef9807a8c79de5 (patch) | |
| tree | e36516424a62e199709e190f4de25bc31c976bff /lib/pattern.ml | |
| parent | 726f3dfb116ec9265041e642000612831633fe3c (diff) | |
| download | SOL-6520b876af064d57bccf944a6fef9807a8c79de5.tar.gz SOL-6520b876af064d57bccf944a6fef9807a8c79de5.zip | |
interval propagation: contradictions fail, finite ranges enumerate
Diffstat (limited to 'lib/pattern.ml')
0 files changed, 0 insertions, 0 deletions