diff options
| author | Anton Khirnov <anton@khirnov.net> | 2018-04-07 10:05:36 +0200 |
|---|---|---|
| committer | Anton Khirnov <anton@khirnov.net> | 2018-04-07 10:05:36 +0200 |
| commit | 36eb8bc7c24938163bcf8d7b3a58bfeb71755f8d (patch) | |
| tree | 997de93b8e9022f7d3a9f22e4186f48b82a3c7be /interface.ccl | |
| parent | 36ecd9d45e2bf204b6b641a3564a52d0df3f49d2 (diff) | |
Support configurable solving at finer levels.
Diffstat (limited to 'interface.ccl')
0 files changed, 0 insertions, 0 deletions