Commit 5a1750a
committed
Don't build from source from deprecated recipes
All the solver tests now pass!
Signed-off-by: J Robert Ray <[email protected]>1 parent 377db3c commit 5a1750a
File tree
2 files changed
+10
-3
lines changed- crates/spk-solve/src
- cdcl_solver
2 files changed
+10
-3
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
39 | 39 | | |
40 | 40 | | |
41 | 41 | | |
42 | | - | |
| 42 | + | |
43 | 43 | | |
44 | 44 | | |
45 | 45 | | |
| |||
124 | 124 | | |
125 | 125 | | |
126 | 126 | | |
| 127 | + | |
| 128 | + | |
| 129 | + | |
| 130 | + | |
| 131 | + | |
| 132 | + | |
127 | 133 | | |
128 | 134 | | |
129 | 135 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1179 | 1179 | | |
1180 | 1180 | | |
1181 | 1181 | | |
1182 | | - | |
1183 | | - | |
1184 | 1182 | | |
1185 | 1183 | | |
1186 | 1184 | | |
| |||
1215 | 1213 | | |
1216 | 1214 | | |
1217 | 1215 | | |
| 1216 | + | |
1218 | 1217 | | |
| 1218 | + | |
| 1219 | + | |
1219 | 1220 | | |
1220 | 1221 | | |
1221 | 1222 | | |
| |||
0 commit comments