Issue 1095: remove remaining traces of COIN/OSI and Gurobi - Fast Downward issue tracker

Title	remove remaining traces of COIN/OSI and Gurobi
Priority	feature	Status	resolved
Superseder		Nosy List	florian, jendrik, malte, remo
Assigned To		Keywords
Optional summary

Created on 2023-07-25.09:57:02 by malte, last changed by remo.

Messages
msg11191 (view)	Author: remo	Date: 2023-07-25.17:49:54
Florian and I removed the references Malte mentioned and couldn't find any others. The pull request containing these changes is here: https://github.com/aibasel/downward/pull/163. One of the mentions was a comment saying that we force Windows builds to link statically because of OSI and we removed the lines doing that. The builds in the GitHub workflows also succeed without those lines. By now we already merged the pull request, so I will mark this issue as resolved.
msg11175 (view)	Author: malte	Date: 2023-07-25.09:57:02
We removed OSI and we removed Gurobi support, but they are still referred to in some places (search for coin, osi, gurobi in these files and directories; case-insensitive): README.md .github/workflows/ubuntu.yml misc/tox.ini src/cmake_modules/FastDownwardMacros.cmake misc/releases (The last one was already on the radar.) We should remove these traces.

History
Date	User	Action	Args
2023-07-25 17:49:54	remo	set	status: chatting -> resolved nosy: + remo messages: + msg11191
2023-07-25 09:57:02	malte	create