Thanks for all of your replies, and sorry that I haven't responded up until
now. I have been suffering from a cold this weekend and found it hard to
concentrate. My more detailed reply to each of you will follow soon.
--
You received this message because you are subscribed to the Google Groups
Hi Travis,
Thanks, it helped (took 5 hours, but helped :))
On Friday, 12 May 2017 17:11:28 UTC+3, Travis Scrimshaw wrote:
>
> The gcc that is included in Sage is 5.4.0, so I'm wondering if this is a
> problem. However, that is not based upon real insight.
>
> Also, considering the other thread,
Hi,
SAT solvers are very handy for quick problem solving.
cryptominisat was stuck at version 2.9.6 since git migration, and was
tagged as an experimental package since it did not build on 32bit systems.
I updated it to latest version (5.0.1), which involved some changes:
- the build now relies
+1, also for cmake update; the latter is very useful nowadays.
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to
I am confident cmake can now be moved to optional. I took care
of all of the problems I could see on OS X and helped with the
ones on other platforms.
Do we need some kind of vote for moving from experimental to
optional?
> On 15/05/2017, at 07:19, Dima Pasechnik wrote:
>
> +1, also for cmake u
