mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
8 lines
156 B
Python
8 lines
156 B
Python
|
from cvc5.pythonic import *
|
||
|
|
|
||
|
|
if __name__ == '__main__':
|
||
|
|
x, y = Reals("x y")
|
||
|
|
solve(x > Pi(),
|
||
|
|
x < 2 * Pi(),
|
||
|
|
y ** 2 < Sine(x))
|