It might be worse to allow some output to the minizinc format:
http://www.g12.cs.mu.oz.au/minizinc/
Many good solvers have flatzinc interfaces: Gecode, ECLiPSe, SCIP, etc

On Sep 25, 7:57 pm, Martin Albrecht <[email protected]>
wrote:
> Just a quick note:
>
> I started writing a SCIP wrapper for Sage which is also a CIP solver. It is
> only free for accademic use though:
>
>    http://scip.zib.de
>
> Cheers,
> Martin
> --
> name: Martin Albrecht
> _pgp:http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x8EF0DC99
> _otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF
> _www:http://martinralbrecht.wordpress.com/
> _jab: [email protected]

-- 
To post to this group, send an email to [email protected]
To unsubscribe from this group, send an email to 
[email protected]
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org

Reply via email to