torc_sat/__init__.py,sha256=8I0DAoN0p8vu4BU9ZRG_O9ZwfB0sr7AMhxjxKGzUzME,538
torc_sat/analyzer.py,sha256=eVyG7k_m58NHMrHDhgb4ak6argQaMcId7OngYCyXxYk,1420
torc_sat/certificate.py,sha256=Vz0ulsylv9UoZcsH8gZw4MoBMq9_wd9uMQc__nQ2Rrc,1884
torc_sat/cli.py,sha256=XRgOjDkgKyV1SGEOz4Gt0o5KBzFQCxacR_KEghDg7Qk,2837
torc_sat/drat.py,sha256=Z6WgB5xO-P3oi5pMALSYl9lK43ySXo7dZEi8vhnwztU,4856
torc_sat/parser.py,sha256=nAu_ZutBwSW5OBnw5NmsTajlQ6ifLIONtljfKvQVRqo,2708
torc_sat/detectors/__init__.py,sha256=eAfgprNJkkhAe2YD4eVzPx42-Mh5ASY5ix60V42lskI,580
torc_sat/detectors/base.py,sha256=rdoOAmMpZkmTOHmbF9-ogpLyOwjunTsWTCS9mjlxMII,827
torc_sat/detectors/chessboard.py,sha256=e_nu6CtfLTYNowrdXkhYMSDjJt6Ip0YY3dKDlYqkI6c,7947
torc_sat/detectors/coloring.py,sha256=yAVfQRqOA3qsSRFwqpQOaEFTrjLc2hDt5-yileJT8XE,11046
torc_sat/detectors/hall.py,sha256=UvGWd16nEoAgEMpdwylca5PxBfDrcHLwgAj_I3RNCzU,9842
torc_sat/detectors/ordering.py,sha256=BJOplgrmxb4icicQoUKFBLypNaT9r7JeRw_r9uzD_8E,4678
torc_sat/detectors/php.py,sha256=VmtaOJVTiLTy4Wmqur4nLvhSFTmhp-lse-SSzCuWvSU,5211
torc_sat/detectors/tseitin.py,sha256=xGdsrr6MScnQgPkY__FBhPw-eHmtArrC1HS5AIKd1QA,5654
torc_sat/detectors/xor.py,sha256=ywW2OLBSZr_uOEg19WDVg1nNtQCl6UnvW4oaKVIJOKo,4747
torc_sat/topology/__init__.py,sha256=sadBN8hwyvni1enENcBs3HNhPSfv87uFz1MPWWsllD8,36
torc_sat/topology/boundary.py,sha256=jko_TIpePv2P5sKhDheSatSfL_NVhN0F-exfg4sPdDM,1532
torc_sat/topology/cech.py,sha256=mNzgXrjKKVrtLAE6DnMw3H-T-xVK6tdSzy5wrK4yLIY,2338
torc_sat/topology/gf2.py,sha256=CkoBVKNEc0kF6E79x7ANb5FNdLRakDGIduYbEzxdIm4,2223
torc_sat-0.1.0.dist-info/METADATA,sha256=3dcUCr1bSuGmxzclJqgmPKPfdKgLYysr0kVJRq0ADsg,2068
torc_sat-0.1.0.dist-info/WHEEL,sha256=aeYiig01lYGDzBgS8HxWXOg3uV61G9ijOsup-k9o1sk,91
torc_sat-0.1.0.dist-info/entry_points.txt,sha256=8hGsUmhlJCYZZ3K0WsP8MnJDs7DRR-lU186WKWRX-M4,47
torc_sat-0.1.0.dist-info/top_level.txt,sha256=PLxBfJEbJZrP1jqr32kpxXY_9IQq2VTsYuCF9bZ9hds,9
torc_sat-0.1.0.dist-info/RECORD,,
