tempest

0 Tags

187 MiB

Author	SHA1	Message	Date
sjunges	e8408cdc7b	gurobi 6.05 for mac os support - second try Former-commit-id: `1dc5be581a`	10 years ago
sjunges	4425368e0c	gurobi 6.05 for mac os support Former-commit-id: `29afa71b2d`	10 years ago
sjunges	7722165256	Support for gurobi 602 Former-commit-id: `915d3a48dd`	10 years ago
sjunges	c7becb3c60	improved cmake for z3 and gurobi Former-commit-id: `d85982abd2`	10 years ago
PBerger	f7adf54be3	Added A FindGurobi file for CMake. Adapted build process to use the new file to support all version of the library (upgrading to 6.0 breaks everything). Former-commit-id: `820ad02968`	10 years ago