Performance tuning of the Exact solver
- 0 Collaborators
Exact is a 0-1 Integer Linear Programming solver which is able to solve some hard problems using Pseudo-Boolean constraint propagation. It could be faster. ...learn more
Project status: Under Development
Intel Technologies
Intel CPU,
Intel vTune
Overview / Usage
Exact is a proof logging 0-1 Integer Linear programming solver. However it could be more performant to be useful to more people.
Methodology / Approach
How to measure to the performance of a solver is non trivial as is optimizing performce. VTune is an useful tool to see where time is spend.