package range_parser;

typedef ResultUnsatisfiable = Int;