| changeset 131 | 8db9195bb3e9 |
| parent 127 | 74846cb0fff9 |
| child 148 | 84d1392186d3 |
| 130:a21d7b300616 | 131:8db9195bb3e9 |
|---|---|
22 use_thy "Recipes/Config"; |
22 use_thy "Recipes/Config"; |
23 use_thy "Recipes/StoringData"; |
23 use_thy "Recipes/StoringData"; |
24 use_thy "Recipes/ExternalSolver"; |
24 use_thy "Recipes/ExternalSolver"; |
25 use_thy "Recipes/Oracle"; |
25 use_thy "Recipes/Oracle"; |
26 use_thy "Recipes/Sat"; |
26 use_thy "Recipes/Sat"; |
27 use_thy "Recipes/USTypes"; |
|
27 |
28 |
28 use_thy "Solutions"; |
29 use_thy "Solutions"; |
29 use_thy "Readme"; |
30 use_thy "Readme"; |
30 |
31 |