aziesemer

É uma coisa que está fazendo falta no Astran mas que eu nunca dei prioridade pois era só eu quem desenvolvia (e usava) basicamente. Mas vou dar uma olhada... 2015-10-09...

Gurobi 5 is required (people started to have issues with newer versions). It is free for academic use and it has (or had) a free version that would work for...

Check: https://github.com/aziesemer/astran/blob/master/Astran/build/RULES.png and the examples.

And also: https://github.com/aziesemer/astran/blob/master/Astran/src/rules.h