Fixpoint v0.20.2

CPSolver.Examples.Hakank.SetCovering3 (Fixpoint v0.20.2)

Link to this section Summary

Functions

belongs()
run()
senators()
set_covering3(belongs, senators, min_val \\ nil)

Link to this section Functions

Link to this function

belongs()

Link to this function

run()

Link to this function

senators()

Link to this function

set_covering3(belongs, senators, min_val \\ nil)