The Europe/NumFOCUS situation would be a good thing to reach out to Andy or
Leah about.
Jason
On Sat, Sep 29, 2018 at 5:10 AM Erik Bray wrote:
> On Fri, Sep 28, 2018 at 10:03 PM Harald Schilly
> wrote:
> >
> >
> >
> > On Monday, September 24, 2018 at 3:12:12 PM UTC+2, kcrisman wrote:
> >>
> >
I thought now might be a good time to give an update on the status of the
MPIR project.
Brian Gladman (the Windows MSVC "maintainer") and William Hart (the
Linux/OSX "maintainer") have decided to separate the Windows MSVC
development from the Linux/OSX development. There will be separate
repos
On Fri, Sep 28, 2018 at 10:03 PM Harald Schilly
wrote:
>
>
>
> On Monday, September 24, 2018 at 3:12:12 PM UTC+2, kcrisman wrote:
>>
>> Certainly R and probably other similar mathematical FLOSS does have
>> foundations...
>
>
> I just came across this thread. Many years ago I had the idea to set
Hi
I missed the rest of this thread, but...
On Sat, 29 Sep 2018 at 13:24, wrote:
>
> Our Sage version is 8.2. We are getting this error.
>
> abc@Math-Sans:~/Downloads/SageMath$ sage --python
>
Use
./sage --python
where the ./ indicates the sage command is in that folder you are located
in.
Our Sage version is 8.2. We are getting this error.
abc@Math-Sans:~/Downloads/SageMath$ sage --python
No command 'sage' found, did you mean:
Command 'page' from package 'tcllib' (universe)
Command 'save' from package 'atfs' (universe)
Command 'osage' from package 'graphviz' (main)
sage: comman
On Sat, 29 Sep 2018, 10:30 Thierry, wrote:
> Hi,
>
> i am currently packaging and interfacing a bunch of SAT solvers,
> especially the ones that run in parallel.
>
> Gulcose ships glucose-syrup which is parallel [1], and was ranked first in
> the 2017 parallel track of the SAT competition.
>
> Ho
Hi,
i am currently packaging and interfacing a bunch of SAT solvers,
especially the ones that run in parallel.
Gulcose ships glucose-syrup which is parallel [1], and was ranked first in
the 2017 parallel track of the SAT competition.
However, while Glucose, which is based on MiniSat, is licensed
