Skip to content

IntBoolSolver (IBS) version 1.0 completed

Sophie Coudert requested to merge parser_03_2023 into master

first version of IBS. partially integrated in AVATAR. Provided with an instantiation for closed formulas that may be used in DIPLODOCUS.

Merge request reports