* [gentoo-science] sage-on-gentoo: possible to install optional package (cryptominisat)?
@ 2014-01-13 21:24 Erik Quaeghebeur
2014-01-13 21:38 ` François Bissey
0 siblings, 1 reply; 6+ messages in thread
From: Erik Quaeghebeur @ 2014-01-13 21:24 UTC (permalink / raw
To: gentoo-science
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
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [gentoo-science] sage-on-gentoo: possible to install optional package (cryptominisat)?
2014-01-13 21:24 [gentoo-science] sage-on-gentoo: possible to install optional package (cryptominisat)? Erik Quaeghebeur
@ 2014-01-13 21:38 ` François Bissey
2014-01-13 21:59 ` Erik Quaeghebeur
0 siblings, 1 reply; 6+ messages in thread
From: François Bissey @ 2014-01-13 21:38 UTC (permalink / raw
To: gentoo-science
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
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [gentoo-science] sage-on-gentoo: possible to install optional package (cryptominisat)?
2014-01-13 21:38 ` François Bissey
@ 2014-01-13 21:59 ` Erik Quaeghebeur
2014-01-13 22:08 ` François Bissey
0 siblings, 1 reply; 6+ messages in thread
From: Erik Quaeghebeur @ 2014-01-13 21:59 UTC (permalink / raw
To: gentoo-science
>> [...] 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
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [gentoo-science] sage-on-gentoo: possible to install optional package (cryptominisat)?
2014-01-13 21:59 ` Erik Quaeghebeur
@ 2014-01-13 22:08 ` François Bissey
2014-01-14 21:11 ` Erik Quaeghebeur
2014-01-17 9:11 ` Erik Quaeghebeur
0 siblings, 2 replies; 6+ messages in thread
From: François Bissey @ 2014-01-13 22:08 UTC (permalink / raw
To: gentoo-science
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
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [gentoo-science] sage-on-gentoo: possible to install optional package (cryptominisat)?
2014-01-13 22:08 ` François Bissey
@ 2014-01-14 21:11 ` Erik Quaeghebeur
2014-01-17 9:11 ` Erik Quaeghebeur
1 sibling, 0 replies; 6+ messages in thread
From: Erik Quaeghebeur @ 2014-01-14 21:11 UTC (permalink / raw
To: gentoo-science
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
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [gentoo-science] sage-on-gentoo: possible to install optional package (cryptominisat)?
2014-01-13 22:08 ` François Bissey
2014-01-14 21:11 ` Erik Quaeghebeur
@ 2014-01-17 9:11 ` Erik Quaeghebeur
1 sibling, 0 replies; 6+ messages in thread
From: Erik Quaeghebeur @ 2014-01-17 9:11 UTC (permalink / raw
To: gentoo-science
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
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2014-01-17 9:11 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2014-01-13 21:24 [gentoo-science] sage-on-gentoo: possible to install optional package (cryptominisat)? Erik Quaeghebeur
2014-01-13 21:38 ` François Bissey
2014-01-13 21:59 ` Erik Quaeghebeur
2014-01-13 22:08 ` François Bissey
2014-01-14 21:11 ` Erik Quaeghebeur
2014-01-17 9:11 ` Erik Quaeghebeur
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox