Ed's stuff is currently in this branch: https://github.com/TeamAmalgam/kodkod/tree/amalgam-int-elision
Once it's cleaned up and merged in, we'll need to integrate it with our multiobjective solver.
This should help reduce memory usage (and hopefully run time), as we won't need to generate every single integer in the universe.
Ed's stuff is currently in this branch: https://github.com/TeamAmalgam/kodkod/tree/amalgam-int-elision
Once it's cleaned up and merged in, we'll need to integrate it with our multiobjective solver.
This should help reduce memory usage (and hopefully run time), as we won't need to generate every single integer in the universe.