CNFgen
View on PyPI — Reverse Dependencies (0)
| 0.9.3.post1 | CNFgen-0.9.3.post1-py3-none-any.whl |
Wheel Details
| Project: | CNFgen |
| Version: | 0.9.3.post1 |
| Filename: | CNFgen-0.9.3.post1-py3-none-any.whl |
| Download: | [link] |
| Size: | 151981 |
| MD5: | e8dc6f8f05d29fd23279478571f1a038 |
| SHA256: | 19245ec984ee700b8e34f480bd0ad63ac21f447250253cfa5cdf0c921bb19998 |
| Uploaded: | 2024-04-11 11:01:40 +0000 |
dist-info
METADATA · WHEEL · RECORD · top_level.txt · entry_points.txt
METADATA
WHEEL
| Wheel-Version: | 1.0 |
| Generator: | bdist_wheel (0.43.0) |
| Root-Is-Purelib: | true |
| Tag: | py3-none-any |
RECORD
| Path | Digest | Size |
|---|---|---|
| cnfgen/__init__.py | sha256=rVc6-AFfi0RXhHPoSI8_OFBkCEGzfgdP-yomHclACsU | 3498 |
| cnfgen/graphs.py | sha256=elPkibo9mJkL8QmDupNGGFWqEyaERtLiCDD_0CvABYQ | 61042 |
| cnfgen/info.py | sha256=fGbBO2lzQ8M5MrhNnX8bimHGVSMXQW1GjP8Nvaa5_8Y | 1189 |
| cnfgen/localtypes.py | sha256=TusFiKjX9qquNJacNaWdAju99XPh3lYjW2mEdsRPK14 | 2378 |
| cnfgen/version.py | sha256=IcFcFvjusCSuPlpwCdi4vhOsXo-oVhUlE9gUfKNlhj0 | 20 |
| cnfgen/clihelpers/__init__.py | sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU | 0 |
| cnfgen/clihelpers/counting_helpers.py | sha256=O3p-992R-pgHCqtV1YC7rJM9onIzCPlXxPRACynEMTU | 12300 |
| cnfgen/clihelpers/cpls_helpers.py | sha256=hxDzEhPPMqdEwwece3ZuokQB015hevpk_G3z5FiUYGY | 1915 |
| cnfgen/clihelpers/dimacs_helpers.py | sha256=-qT4Hramh78h5DVQN2oSzFeW7SlZSP1580-kiLH30_k | 1732 |
| cnfgen/clihelpers/formula_helpers.py | sha256=zvp-AQmL1A-Gyl6skj25G320B74XnoD7DmaQWvXX2-A | 706 |
| cnfgen/clihelpers/graph_helpers.py | sha256=GMJj3gGBVLD4i9WaPovDfj6V6POHy7VuqgfzvWbtW7w | 14314 |
| cnfgen/clihelpers/ordering_helpers.py | sha256=g6h4ybBzwIaEKXqvJsystskdFzrVntXAOMAmvYWLZfY | 5736 |
| cnfgen/clihelpers/pebbling_helpers.py | sha256=hVf2DQ_8dm7aRjHf_JHzJdmwtR5UQPJHfLEWFjoJ7sY | 4353 |
| cnfgen/clihelpers/php_helpers.py | sha256=C_qwCjLlaQnBwlHX0CvLt5WQgmVED9tIJp_YQvC91mA | 17206 |
| cnfgen/clihelpers/pitfall_helpers.py | sha256=pvhFiKsr6hxQA2YlUvwEtNddIFQJZ0n_Ag7kFmPynqM | 1947 |
| cnfgen/clihelpers/simple_helpers.py | sha256=EMC_CtzwClQvbKzIj2UxMpdEETtLCGMoB2uE0XbtBvM | 8535 |
| cnfgen/clihelpers/transformation_helpers.py | sha256=XgKnsxIpSy9_Fc5GGwUg_Tp-8WhVKUYUxXLZue58VYo | 16941 |
| cnfgen/clitools/__init__.py | sha256=LVJRoLl5IdowiYD-bi01x19LudjOqyMGPzXsXJo0tig | 1117 |
| cnfgen/clitools/cmdline.py | sha256=4Vavjm23vrp8U91QVON6khRkaEvJ7qMcXF3I2ExDkxk | 9507 |
| cnfgen/clitools/cnfgen.py | sha256=g9dLrn9xX5vNi0MFgscc3p4M7DFBDfW980qkj0G1ihA | 19172 |
| cnfgen/clitools/cnfshuffle.py | sha256=5Y_LyHpDaUyEcmlDDpmHIgh10hXY7iUTI44-NFQAits | 5472 |
| cnfgen/clitools/graph_args.py | sha256=ugPGfLe9jY0gUDpHqJKmPG-MibWA0DOjPx7EQdpHnxo | 14525 |
| cnfgen/clitools/graph_build.py | sha256=caamcKllVKqgJixFXisOYSczLuJ1fSgt0YOOAo2x0t0 | 14232 |
| cnfgen/clitools/graph_docs.py | sha256=Z9Nv2vJPLXfcaDkFrvsoM0BQ5vZqlHsSxA4KzpYELio | 5967 |
| cnfgen/clitools/graph_fileinput.py | sha256=MVUzofxiidnN8KJvHQGWZi1n-qiMdx10ZAHtSC4_Ogo | 2972 |
| cnfgen/clitools/kthlist2pebbling.py | sha256=o_BefAN8raaM78PK8QDv7Ot7pJQDrFzsAFd_Pbq6Zd8 | 6298 |
| cnfgen/clitools/msg.py | sha256=rwOR3BocrG8PDd6rFpooF3NefJKA9eKxc_iW0mXEUd4 | 1769 |
| cnfgen/clitools/pbgen.py | sha256=F06tW1XAdarhCfg7v7h5L77V6GL7Y_7yNL189w_OqII | 15414 |
| cnfgen/families/__init__.py | sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU | 0 |
| cnfgen/families/cliquecoloring.py | sha256=gIikv13GjYl6MNXUy_MUTO_DRV__T2w7SMfHQj8ovlg | 2336 |
| cnfgen/families/coloring.py | sha256=N3DJ9h_05GetzY2WkDoTdDhBAvSYcVENOgyEff0XqZo | 2949 |
| cnfgen/families/counting.py | sha256=kcoTY7JpAUSCyU8CcFwsS1JaGkqZbrixQ1wL_Oj9gTE | 1777 |
| cnfgen/families/cpls.py | sha256=eUHhfXTMqAhd4HI7xgbpv7W2J7onEs93Pxw-w2Cegcw | 3028 |
| cnfgen/families/dominatingset.py | sha256=94oq0qL6bgHdNmgBAbAwTafcJZUnWbRQkB2SIizuAZs | 3874 |
| cnfgen/families/graphisomorphism.py | sha256=lg_C9cM42_qgc7YHM16vOFRd2lc0V1ek2VJo8hhrso0 | 2222 |
| cnfgen/families/ordering.py | sha256=LZZ5SbTjUjrurLke7mN5hiDGzo6AVndQLVlXbQOh0xs | 4309 |
| cnfgen/families/pebbling.py | sha256=xyX28p-5VQHeqZLQZOTgFlyYGHVa1r04iD84O-EWIkg | 7136 |
| cnfgen/families/pigeonhole.py | sha256=kIPAG2iUifvXPPp_3EnJ8dzhk1Gg9atLsYovHZfvZUo | 11935 |
| cnfgen/families/pitfall.py | sha256=YlO9KWiyJHco6hmjqoLuB34R8dwbADR4ox0Hov0zdSw | 5408 |
| cnfgen/families/ramsey.py | sha256=SmYmONZLpkGShJa6vf8Yo4wfYts7RECaegerWk1r7xs | 6300 |
| cnfgen/families/randomformulas.py | sha256=uP0wS-A2deMjulajBCK8viJG9Q93v8LIOzA264Ep5-0 | 4005 |
| cnfgen/families/randomkxor.py | sha256=tHORJEiCCLFTACh9SdgEoBTguWYxQqKs_baVm1MStco | 4318 |
| cnfgen/families/subgraph.py | sha256=Bx7RHKpNdysomhay4pa3E910P_ZG5V-lq98a0osyon0 | 6837 |
| cnfgen/families/subsetcardinality.py | sha256=W5RiHz6XQICsNwQY6abamh2cTK_yTbfwOqN0xHKguFs | 3207 |
| cnfgen/families/tseitin.py | sha256=7zwivkiSCim0ffetkZ9S1IuXBnv0jNZT85ph8Xpuogg | 1651 |
| cnfgen/formula/__init__.py | sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU | 0 |
| cnfgen/formula/basecnf.py | sha256=ptlgg14VlsBqPKEw-8swOlh7fMMC_oC-QikyGe6zPL8 | 9755 |
| cnfgen/formula/baseopb.py | sha256=4yCA5FkYKSChuAI3rdkPj_nOZULEJUkWorctqdwSuoo | 18010 |
| cnfgen/formula/cnf.py | sha256=TiWM1tqdaE6A3SqAXmuu0yhm-pU6Azxa5luJYXcvq-Q | 2425 |
| cnfgen/formula/cnfio.py | sha256=qvGsubjIqQasIKUpq7Eh5pAfWtOIDE9zws_5tzzc5jE | 13353 |
| cnfgen/formula/linear.py | sha256=w609paStXcaq54lY5MA-7_pj3o_DOQikFkTPu8Xp5DE | 8052 |
| cnfgen/formula/opb.py | sha256=Y9n780zU4XHUhTVIj-GJZOpZHzj4PIWWdkrpO1FfeVQ | 2632 |
| cnfgen/formula/opbio.py | sha256=E5-wtkTklVf071HSRvcDs0TGs0hJX6dUJ0Rd-nJzens | 4661 |
| cnfgen/formula/variables.py | sha256=8d_mGZHEbu1YE7SWQ-JsDULR79qYuuKHXpZp6UfZ9UI | 64230 |
| cnfgen/transformations/__init__.py | sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU | 0 |
| cnfgen/transformations/shuffle.py | sha256=P4zdYKtOnei753FGxjjfrKy_uvrP8O6AEIZIPu9kR7s | 4446 |
| cnfgen/transformations/substitutions.py | sha256=i2lQ5if67TlJ3IP8llEnVCg6XeMwbsmBb8LzG_rKKEI | 12741 |
| cnfgen/utils/__init__.py | sha256=YWClia8S-syatU91BAhPPsMXLtGKktp9sGY1E18VBr4 | 105 |
| cnfgen/utils/latexoutput.py | sha256=RGQM0wVgad7D21hpCnJXpRBuTlCopKWgVvsWjIt97FQ | 6938 |
| cnfgen/utils/opb.py | sha256=tEpbbtDu5j4uC-kuhsdIn7Y44Gx_Vlti4KYCREEHi5s | 2853 |
| cnfgen/utils/parsedimacs.py | sha256=b-K5pMutUOJ3-yXEKqtcvfh5RYS9pYNXsa6sG2yHodA | 5808 |
| cnfgen/utils/solver.py | sha256=KqQkaCadrpbJveRQE0KUUOnFYZlC2DZRgtaYyExuVqM | 14980 |
| CNFgen-0.9.3.post1.dist-info/LICENSE | sha256=g-ZHvgH6DtexuYICeRUQsJMm3pfhs3Zuc7CASBsHvLI | 35128 |
| CNFgen-0.9.3.post1.dist-info/METADATA | sha256=id2vmJhWKfsKxMWoyEo5qaw8NegsoVrK6ase7v1aFHY | 1304 |
| CNFgen-0.9.3.post1.dist-info/WHEEL | sha256=GJ7t_kWBFywbagK5eo9IoUwLW6oyOeTKmQ-9iHFVNxQ | 92 |
| CNFgen-0.9.3.post1.dist-info/entry_points.txt | sha256=CQOouBQq7oi4gK5nWW0lbB4L2IA-dquAK1N_i3-rndA | 135 |
| CNFgen-0.9.3.post1.dist-info/top_level.txt | sha256=c7QhmJvPfnfYgCn8F-PS-f6s5E3ABT5pmMf2JTcRGz8 | 7 |
| CNFgen-0.9.3.post1.dist-info/RECORD | — | — |
top_level.txt
cnfgen
entry_points.txt
cnfgen = cnfgen.clitools.cnfgen:main
cnfshuffle = cnfgen.clitools.cnfshuffle:main
pbgen = cnfgen.clitools.pbgen:main