mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
6 lines
102 B
Python
6 lines
102 B
Python
|
from cvc5.pythonic import *
|
||
|
|
|
||
|
|
if __name__ == '__main__':
|
||
|
|
var = Bool('Hello World!')
|
||
|
|
solve(var)
|