comando.interfaces.maingo_ale module

Code to generate an ALE input file for MAiNGO.

ALE is a library for Algebraic Logical Expressions that can be used to generate MAiNGO problems from human-readable input files. This module allows to generate such input files based on a COMANDO problem.

class comando.interfaces.maingo_ale.AleParser(sym_map)

Bases: StrParser

A class for parsing comando expressions to baron Syntax.

comando.interfaces.maingo_ale.call_maingo(file_name, settings_name=None, silent=False)

Call the maingo executable with a problem and possibly settings file.

comando.interfaces.maingo_ale.get_results(results_file_name='MAiNGOresult.txt')

Code for parsing MAiNGO results files.

comando.interfaces.maingo_ale.maingo_pow_callback(parser, expr, idx)

Handle special pow calls in MAiNGO.

comando.interfaces.maingo_ale.solve(P, file_name=None, relaxation_only_constraints=None, squashing_constraints=None, silent=False, cse=True, outputs=None, add_intermediates_as_output=False, reuse=None, **options)

Solve poblem P using MAiNGO.

comando.interfaces.maingo_ale.write_ale_file(P, file_name, relaxation_only_constraints=None, squashing_constraints=None, cse=True, outputs=None, add_intermediates_as_output=False, reuse=False)

Write the problem in ALE syntax to a file or stdout.

comando.interfaces.maingo_ale.write_settings_file(options, settings_name='MAiNGOSettings.txt')

Generate a settings file with the given options.