colibrilib
A library of domains and propagators proved in Why3
1024" x-on:close-sidebar="sidebar=window.innerWidth > 1024 && true">
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Library colibrilib
divisible_down_to a m
return the greatest multiple of m
smaller or equal than a
divisible_down_to a m
return the smallest multiple of m
greater or equal than a