Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- assign(max_seconds, 30).
- assign(max_weight, 25).
- formulas(sos).
- p(a).
- -p(x) | p(f(x)).
- -p(f(f(a))).
- end_of_list.
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement