Wheelodex » Projects » sudokusensei

sudokusensei

View on PyPI — Reverse Dependencies (0)

1.0.1 sudokusensei-1.0.1-py3-none-any.whl

Wheel Details

Project: sudokusensei
Version: 1.0.1
Filename: sudokusensei-1.0.1-py3-none-any.whl
Download: [link]
Size: 53103
MD5: 23b46221264499cfb70fae5e3746a8d8
SHA256: a5f0663b68b1de09ea5039080078576048d2938c6a781d9c430c4fdfd408eded
Uploaded: 2020-07-11 01:36:04 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt · entry_points.txt

METADATA

Metadata-Version: 2.1
Name: sudokusensei
Version: 1.0.1
Summary: The SMT Sudoku Sensei
Author: Ian A. Mason
Author-Email: iam[at]csl.sri.com
Home-Page: https://github.com/ianamason/SudokuSensei
License: CC4
Classifier: Development Status :: 3 - Alpha
Classifier: Natural Language :: English
Classifier: Intended Audience :: Developers
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: C
Classifier: Programming Language :: Python
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.6
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Requires-Dist: yices (>=1.1.4)
Description-Content-Type: text/markdown
[Description omitted; length: 4179 characters]

WHEEL

Wheel-Version: 1.0
Generator: bdist_wheel (0.34.2)
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
sudokusensei/Constants.py sha256=yWWAZU2nBnIZMuREYcgTHRZDQo00d31Ivhh6_58k4HA 624
sudokusensei/DB.py sha256=0P4vdQmId8POLyUkeHm-ducYkPp0kHPEaXk_-mf6hyg 6516
sudokusensei/Main.py sha256=CIpSFFNamWhv6wycWjvDdLJmrI1cq8FFUQbluuxUS0g 883
sudokusensei/Profiling.py sha256=3chyUSZmGYkvDHDLn47LeaITQhcKGpQp5_mmWCORpGI 469
sudokusensei/StringBuilder.py sha256=rDEVgim_Ldspg4NL_G3tYDYmjWbHNTZPsX0RWN3K1B4 1203
sudokusensei/SudokuGame.py sha256=-feHJ-amBrUM3vAs1E81cToFfaD6Bcl-QSFxLdp0Wp8 6214
sudokusensei/SudokuGenerator.py sha256=_cYaGtGk52AOQPp8xOyLVpdIAtweEtFbW3GJs9q32lA 7575
sudokusensei/SudokuLib.py sha256=pbysfiqfvptV6euljN41_aateyPc_4KUKC7T2TnjCBM 22424
sudokusensei/SudokuOptions.py sha256=vpogFBMHjMzD-sb3wzSbB4pWTwBqmA3Fa4QwPLOUi1Y 11184
sudokusensei/SudokuSolver.py sha256=PpuGsv29Zc9D1nKF_UwUTH3xGX0aU4iXp8MbTD45RSA 14325
sudokusensei/SudokuUI.py sha256=hhapjAVHnBTaddI1iqO5fKVIPBKCck8x8ZiUCPw3IiU 16088
sudokusensei/TestMain.py sha256=vbicWXawEcYgo2v9rCj0c-c0CRd-JduIYwx3VCYdazc 1679
sudokusensei/Version.py sha256=PlmSeDMH6S2sDphc0a4v-ppQ4CynJoeoQUX46c8ABXo 242
sudokusensei/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
sudokusensei/data/1052_2020_06_11.sudoku sha256=xFho9J06dAeyryfS-3hvaMBlYcCkdJ9-jqt4XWadPRc 90
sudokusensei/data/1055_2020_06_11.sudoku sha256=mylaAeiZTDYwoDAOqnxFnJtHdbcXCuV0vOUfh1Ghx1E 90
sudokusensei/data/1154_2020_06_11.sudoku sha256=8WPyCL1NfrqyBMFwG6JnFMuM-XUVjOt7FDDRxTLSbdI 90
sudokusensei/data/347_2020_06_11.sudoku sha256=s3D7LYkXLXRnc2jStRHdT2L5SgBp93KsQaEJNJukpio 90
sudokusensei/data/349_2020_06_11.sudoku sha256=itBShtJf1SGicn3JWW_vXHuxQqjnRw2BKdE4O6u3e4U 90
sudokusensei/data/350_2020_06_11.sudoku sha256=F_L6GxNlwe_LpJ1Umsj9sWkAtuGk9Y1udH-gV5L2Kdg 90
sudokusensei/data/351.sudoku sha256=Sr0yLhlsixRxHihJl91HZOaGFtb1wEn0vzLhfzr7J8s 90
sudokusensei/data/351_2020_06_11.sudoku sha256=c2B4NOIZWKGdO4vfViXALOYOTrvB4BqZTtp8TI1ryRc 90
sudokusensei/data/352_2020_06_11.sudoku sha256=CJjB9kYOoRi-iITLUiroF7szE7naGNZvGf2K79YlKrs 90
sudokusensei/data/444_2020_06_11.sudoku sha256=2ptPVEi9QZk0wF2cVPhckAFSlTcmqBIbTyh_fDJLReU 90
sudokusensei/data/446_2020_06_11.sudoku sha256=aLxAhzw1K3vcm0VKn9SvGqpWbDEPjgqRpMBrpdA3fKc 90
sudokusensei/data/449_2020_06_11.sudoku sha256=GekC7k3HUhPFGK9hZMx7kqzog-Z_0KQjNpm6L0_K_LA 90
sudokusensei/data/451_2020_06_11.sudoku sha256=JyzF94Y1slSd04l1buiwVSPga2u5c0X9jrJFVPxC7BE 90
sudokusensei/data/452_2020_06_11.sudoku sha256=V01Cy-_Y8WCpP7NLislAFfkYRMzlBhtI15WujQk_A4I 90
sudokusensei/data/455_2020_06_11.sudoku sha256=f7hs0tlexwzmVJXT2J_cVgxW3oWh6FLugI4Vi1JuZXU 90
sudokusensei/data/546_2020_06_11.sudoku sha256=1o_vfcNQMcRiquM4o6inXsMoMNQaWl3tzMI2ECs3FZE 90
sudokusensei/data/648.sudoku sha256=qbjncVvWaKNqRYoO29X9U8VNjn5AUYQ3lLVC03Sk09o 90
sudokusensei/data/648_2020_06_11.sudoku sha256=0srNo-gScl7W5lX94l8rVx1GQX8ciq2SESn7zBkj29E 90
sudokusensei/data/649_2020_06_11.sudoku sha256=uXbD6WDd4nCW6plcamoR3eY7L40OgzVMvdcascav978 90
sudokusensei/data/653_2020_06_11.sudoku sha256=lBzeKRbbwZJ7T5rqVi31uDGZi5e6EsQZe7rMNjRLweo 90
sudokusensei/data/748_2020_06_11.sudoku sha256=vJ2kmHlGeSeyZSM-qRHw0iykK3A7SY9ArnRq5g-znAQ 90
sudokusensei/data/752_2020_06_11.sudoku sha256=8EDrXPQJ_oRUt7OrBpGl-h1rEbjYntQ400SzaPTWp5k 90
sudokusensei/data/851_2020_06_11.sudoku sha256=BMgrjHialDyt59g19qRAl-UEBM7HcEDc_UEW-SO9FUk 90
sudokusensei/data/852_2020_06_11.sudoku sha256=gku2lJDxrhmJPkY0JWCEqb4AHHVGDgO2kUCw6OTdS4g 90
sudokusensei/data/853_2020_06_11.sudoku sha256=Ts8KUiwEqaBrt9esH7LhPzVxBUZCD0o7zMIAevv91Tk 90
sudokusensei/data/854_2020_06_11.sudoku sha256=hvSUUhtQs1VxPPhNMFp2xaH2Ns3qcZbiASOtHgqwEoU 90
sudokusensei/data/855_2020_06_11.sudoku sha256=qOX7C2juZ6Go4L-H3CmY5UatEwzuGCiwDs086jjqUXQ 90
sudokusensei/data/951_2020_06_11.sudoku sha256=jFlerqep0v7xWeT-Tx2cDLsEaVHpfZCztDfHlV7kBEs 90
sudokusensei/data/953_2020_06_11.sudoku sha256=qhQ2OrQ6s4qgNx2PSU1K-e2i12fOldVG4s1gayH4Y9o 90
sudokusensei/data/ai_broken_brick.sudoku sha256=dmEevm2i7DJJ0dcUBW9IEoXz1b1_eneDCDptUvMKQpk 90
sudokusensei/data/ai_circles.sudoku sha256=OjC3dBZyQfQ-9zw8E0WtHxVZqygvigsaDOHp0Uf_LcE 90
sudokusensei/data/ai_escargot.sudoku sha256=nop41acQF1MqNeMlWOmO4CkMHwi9MZeY4eefcAr8xX0 90
sudokusensei/data/ai_honeypot.sudoku sha256=AnvTxK8ngot_t_uzotAmBfo_vDBlId9_BtXKNNL3a5Q 90
sudokusensei/data/ai_killer_application.sudoku sha256=6rWuY8RJy-zuTYw-NZb5boPM5YkBM2tk6kqar4Cxmhw 90
sudokusensei/data/ai_labyrinth.sudoku sha256=PfT-6X4othCDLXXqKzXJzvU-ifZOmuDW05MGyhEnwNU 90
sudokusensei/data/ai_lucky_diamond.sudoku sha256=ITwShjCbARg_s0ZB7eJVsFaUS-kOXeD4lK8y--RWFq0 90
sudokusensei/data/ai_squadron.sudoku sha256=LGdSQRk0JmcE7ir0je4c5boGjltZ5ZWOJIIuIxeYXzY 90
sudokusensei/data/ai_tweezers.sudoku sha256=_h_71ZLl1tSYbjyFWnpltDAG8b6sA5PZ_fxb9oS0mDk 90
sudokusensei/data/ai_worm_hole.sudoku sha256=NyLD4m_9_7g7cPulFKrN6c2J1ZGIL1oAm-vJZnxwTsQ 90
sudokusensei/data/crud.sudoku sha256=g2_n9E4H0SOYKRyVqjlaRFaL8vpUbr_wGz0OVzR4GMk 89
sudokusensei/data/debug.sudoku sha256=eS71l1cG2lHJbhP2xNLMBhJszDlDQX4YutNCPRZc87s 90
sudokusensei/data/empty.sudoku sha256=o_MK3RTnrw5HnDJ2Q42g6BHFXCiJJrQ7SOM4lnMGTho 90
sudokusensei/data/error.sudoku sha256=bp3_l_rWanIMg3pYuMcUn2lYvSgxH38WKShUd5Zhv7k 89
sudokusensei/data/extreme1.sudoku sha256=TlsRZkWqJoKjRj1FHYdVNLAwGL__GOK6UpfW8RVi9lk 90
sudokusensei/data/extreme2.sudoku sha256=YTOzt9V1vUT4_8B0D5X3RNlniB5ktmYZF8PJnSRNR3Y 90
sudokusensei/data/extreme3.sudoku sha256=jPP5bRP_ZISKF4Go-79cI0A6BNBQ3wUd3z_hYNffT-Y 90
sudokusensei/data/extreme4.sudoku sha256=MLzEs9xdwyXkRzkk5AFlE_G8ROLFYEVeo-8_CU55cok 90
sudokusensei/data/hardest.sudoku sha256=S-8yrnV_u0hi54h8i45-KkVGLaHnrfVOCh6ki2MC0Ck 90
sudokusensei/data/l33t.sudoku sha256=dCogucvfHnRtARTks2eC9B7_04H5diAeSHch-pzrvXM 80
sudokusensei/data/morning.sudoku sha256=qOBGC_Pjm-IYhWoWtTQvn--HSk5IlcDsmCF8S67NO7E 89
sudokusensei/data/n00b.sudoku sha256=xUi07tliACiuLxNJiEVm3VHCO1yRNczrVAUfym0w8QE 89
sudokusensei/data/sofa.sudoku sha256=RcyOqN6Zp-D-cKE_xS1Bxy4rw1iyWZ3IQGjCtm7Zd_0 90
sudokusensei/lib/libsugen.dylib sha256=OV9wTryfuWUxueGxyXbvWEYC8nuM46GxgVq20lWQ4T4 17372
sudokusensei-1.0.1.dist-info/LICENSE.txt sha256=9bdF75gIf1MecZ7oymqWgJREVz7McXPG-mjqrTmzzD8 18658
sudokusensei-1.0.1.dist-info/METADATA sha256=GO0Mc1EW5UZsITMD-nc9B8mmnUZbsuDcsGEK_krEmcA 4978
sudokusensei-1.0.1.dist-info/WHEEL sha256=g4nMs7d-Xl9-xC9XovUrsDHGXt-FT0E17Yqo92DEfvY 92
sudokusensei-1.0.1.dist-info/entry_points.txt sha256=EywruoWprmFe0pDXSVQFbA5OsXPOZQcQapEXIcyOoIw 97
sudokusensei-1.0.1.dist-info/top_level.txt sha256=9AbBhPYwFK-37lPdkGJLDjAxiEuVek7yGiIUohua7Xs 13
sudokusensei-1.0.1.dist-info/RECORD — —

top_level.txt

sudokusensei

entry_points.txt

[console_scripts]
senseitest = sudokusensei.TestMain:main
sudokusensei = sudokusensei.Main:main