Class LingelingSolver

    • Constructor Detail

      • LingelingSolver

        public LingelingSolver​(java.lang.String binaryLocation)
        Creates a new solver based on the Lingeling executable given as a parameter.
        Parameters:
        binaryLocation - the path to the executable.