Support intel compiler/binaries (probsat,sattime2013,sattimerelbackseq:2013)

sat-heritage / docker-images

SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers

MIT License

38 stars 3 forks source link

Support intel compiler/binaries (probsat,sattime2013,sattimerelbackseq:2013) #9

Open audemard opened 4 years ago

audemard commented 4 years ago

These solvers need the intel compiler.

pauleve commented 4 years ago

Interesting - we need to find how to get the compiler from that time (Intel C++ Composer XE 2013 according to https://en.wikipedia.org/wiki/Intel_C%2B%2B_Compiler) ; and force docker to run in an intel virtual machine if host has not the right processor.

pauleve commented 4 years ago

There is probably a licence issue on top of that (for sure to get the compiler, I'm not sure about distributing the compiled binary)