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
I'm thinking of making an optional package for the program Qhull,
which computes convex hulls and Delaunay triangulations numerically in
any dimension. I am more motivated to work on it if it could someday
become a standard package, so my question is whether its license is
compatible with Sage. A
Hello
can Michael Abshoff still be reached somewhere? I need him for license
clarifications.
Ralf
--~--~-~--~~~---~--~~
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel-unsubscr...@g
