Function build_combinatorial_optimization_env 

pub fn build_combinatorial_optimization_env(
    env: &mut Environment,
) -> Result<(), String>

Register all combinatorial optimization axioms into the kernel environment.