src/$tests/math/TwoSAT.test.py

View this file on GitHub
Last update: 2023-07-23 08:45:17+09:00
Problem: https://judge.yosupo.jp/problem/two_sat
Link: View error logs on GitHub Actions

Depends on

src/math/TwoSAT.py

Code

# verification-helper: PROBLEM https://judge.yosupo.jp/problem/two_sat
from pathlib import Path
import sys

sys.path.append(str(Path(__file__).resolve().parent.parent.parent.parent))
from src.math.TwoSAT import TwoSAT


_, _, n, m = input().split()
n = int(n)
m = int(m)
G = TwoSAT(n)
for _ in range(m):
    a, b, _ = map(int, input().split())
    G.add_clause(abs(a) - 1, a > 0, abs(b) - 1, b > 0)

if G.check():
    print("s SATISFIABLE")
    res = G.assign()
    ans = ["v"]
    for i, r in enumerate(res, 1):
        if r:
            ans.append(i)
        else:
            ans.append(-i)
    ans.append(0)
    print(*ans)
else:
    print("s UNSATISFIABLE")

Traceback (most recent call last):
  File "/opt/hostedtoolcache/Python/3.11.4/x64/lib/python3.11/site-packages/onlinejudge_verify/documentation/build.py", line 81, in _render_source_code_stat
    bundled_code = language.bundle(
                   ^^^^^^^^^^^^^^^^
  File "/opt/hostedtoolcache/Python/3.11.4/x64/lib/python3.11/site-packages/onlinejudge_verify/languages/python.py", line 108, in bundle
    raise NotImplementedError
NotImplementedError