(define-fun mod_add ((a Int) (b Int)) Int (mod (+ a b) MOD)) (define-fun mod_mul ((a Int) (b Int)) Int (mod (* a b) MOD)) (define-fun mod_square ((a Int)) Int (mod ...
Sommige resultaten zijn verborgen omdat ze mogelijk niet toegankelijk zijn voor u.
Niet-toegankelijke resultaten weergeven