Minotaur 0.4.1
Docs for developers
|
Declare the class for storing auxiliary variables for linear functions. More...
#include "Types.h"
Go to the source code of this file.
Classes | |
class | Minotaur::YEqLFs |
Namespaces | |
namespace | Minotaur |
Declare the class for storing auxiliary variables for linear functions.