[gentoo-science] sage-on-gentoo: possible to install optional package (cryptominisat)?

[gentoo-science] sage-on-gentoo: possible to install optional package (cryptominisat)?

[Erik Quaeghebeur]

Hi,


I've just installed sage-on-gentoo and was interested in trying out the 
SAT solver (powered by CryptoMiniSat). This is an optional package. Are 
such packages or this particular package available in some way?


Thanks,

Erik

Re: [gentoo-science] sage-on-gentoo: possible to install optional package (cryptominisat)?

[François Bissey]

On 2014-01-14 10:24, Erik Quaeghebeur wrote:
> Hi,
> 
> 
> I've just installed sage-on-gentoo and was interested in trying out
> the SAT solver (powered by CryptoMiniSat). This is an optional
> package. Are such packages or this particular package available in
> some way?
> 
Hi Erik,

I don't believe we have such package in our tree. If you point me to
the sources I may be able to make one for you (and anyone else wanting 
it).

François

Re: [gentoo-science] sage-on-gentoo: possible to install optional package (cryptominisat)?

[Erik Quaeghebeur]

>> [...] interested in trying out
>> the SAT solver (powered by CryptoMiniSat). This is an optional
>> package. Are such packages or this particular package available in
>> some way?
 >
> I don't believe we have such package in our tree. If you point me to
> the sources I may be able to make one for you (and anyone else wanting it).

Of course:

* in reference: http://www.sagemath.org/doc/reference/sat/index.html
* upstream spkg: https://bitbucket.org/malb/cryptominisat-spkg (for 
2.9.6 version?)
* upstream code: https://github.com/msoos/cryptominisat (for 3+ version?)

It seems there is a version mismatch in the spkg and main upstream 
code... I don't know where to find the older code. Do you want me to ask 
Martin Albrecht to update the spkg?


Best,

Erik

Re: [gentoo-science] sage-on-gentoo: possible to install optional package (cryptominisat)?

[François Bissey]

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

Francois

Re: [gentoo-science] sage-on-gentoo: possible to install optional package (cryptominisat)?

[Erik Quaeghebeur]

op 13-01-14 23:08, François Bissey schreef:

> On 2014-01-14 10:59, Erik Quaeghebeur wrote:
 >
>>>> [...] interested in trying out the SAT solver (powered by
>>>> CryptoMiniSat).
>>>
>>> [...] point me to the sources [...]
>>
>> Of course:
>>
>> * in reference: http://www.sagemath.org/doc/reference/sat/index.html
>> * upstream spkg: https://bitbucket.org/malb/cryptominisat-spkg (for
>> 2.9.6 version?)
>> * upstream code: https://github.com/msoos/cryptominisat (for 3+ version?)
>>
>> It seems there is a version mismatch in the spkg and main upstream
>> code... I don't know where to find the older code. Do you want me to
>> ask Martin Albrecht to update the spkg?
>>
>>
> up to you for the update in sage. But I will make an ebuild based on
> the available source. I could technically steal the source from the
> spkg and host them on lmona.de but I would rather not do that if
> possible.

Upstream spkg maintainer is informed and likely to look at this at some 
point.

Sage ticket: http://trac.sagemath.org/ticket/15674

Re: [gentoo-science] sage-on-gentoo: possible to install optional package (cryptominisat)?

[Erik Quaeghebeur]

op 13-01-14 23:08, François Bissey schreef:
>
> up to you for the update in sage. But I will make an ebuild based on
> the available source.

The CryptoMiniSat sources for all releases can be found at

	https://gforge.inria.fr/frs/?group_id=1992

Currently, I guess 2.9. and the latest 2.9.x (at the time of writing 
2.9.8) may be useful. (In future 3.4 may be used by Sage.)


Best,

Erik