public inbox for gentoo-science@lists.gentoo.org
 help / color / mirror / Atom feed
* [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