|
|
|
|
|
|
by kalefranz
2879 days ago
|
|
|
Yes, it’s still picosat (wrapped in a python library called pycosat). At some point it may be switched out with an alternate SAT implementation, but I suspect SAT in general is very much destined to stay an integral part of conda. |
|
|