| 1 |
On 2014-01-14 10:59, Erik Quaeghebeur wrote: |
| 2 |
>>> [...] interested in trying out |
| 3 |
>>> the SAT solver (powered by CryptoMiniSat). This is an optional |
| 4 |
>>> package. Are such packages or this particular package available in |
| 5 |
>>> some way? |
| 6 |
>> |
| 7 |
>> I don't believe we have such package in our tree. If you point me to |
| 8 |
>> the sources I may be able to make one for you (and anyone else wanting |
| 9 |
>> it). |
| 10 |
> |
| 11 |
> Of course: |
| 12 |
> |
| 13 |
> * in reference: http://www.sagemath.org/doc/reference/sat/index.html |
| 14 |
> * upstream spkg: https://bitbucket.org/malb/cryptominisat-spkg (for |
| 15 |
> 2.9.6 version?) |
| 16 |
> * upstream code: https://github.com/msoos/cryptominisat (for 3+ |
| 17 |
> version?) |
| 18 |
> |
| 19 |
> It seems there is a version mismatch in the spkg and main upstream |
| 20 |
> code... I don't know where to find the older code. Do you want me to |
| 21 |
> ask Martin Albrecht to update the spkg? |
| 22 |
> |
| 23 |
> |
| 24 |
up to you for the update in sage. But I will make an ebuild based on the |
| 25 |
available source. |
| 26 |
I could technically steal the source from the spkg and host them on |
| 27 |
lmona.de but I would |
| 28 |
rather not do that if possible. |
| 29 |
|
| 30 |
Francois |
Archives