
first_solution(+Goal)

   Find the first solution to the given goal

Arguments
   Goal                The goal to execute

Type
   library(ic_gap_sbdd)

Description
   Finds the first solution for the goal Goal, and prints various statistics
   about the computation (CPU time taken, number of dominance checks
   performed, etc.).


Modules
   This predicate is sensitive to its module context (tool predicate, see @/2).

See Also
   all_solutions / 1, all_solutions / 2
