search

katandps / rust_lib_for_comp

rustで競プロ
MIT License
3 stars 0 forks source link

2-sat #21

Open katandps opened 1 year ago

katandps commented 1 year ago

強連結成分分解のライブラリがあるので、それを使えばよい 2-SAT向けのインターフェースは整えたほうが良いかもしれない