<filename>tests/asp/weakConstraints/weak_constraints_example6.gringo.test.py
input = """
0
0
B+
0
B-
1
0
1
"""
output = """
"""

<filename>tests/asp/weakConstraints/weak_constraints_example6.gringo.test.py
input = """
0
0
B+
0
B-
1
0
1
"""
output = """
"""

0 0 B+ 0 B- 1 0 1