Up
–
alt-ergo
»
Alt_ergo_common
» Solving_loop
Module
Alt_ergo_common.Solving_loop
val
main :
unit
->
unit
Main function solve the input problem