demystify

v0.0.17

Demystify is a tool which allows puzzles to be expressed in a high-level constraint programming language and uses MUSes to automatically produce descriptions of steps in the puzzle solving. For more information about how to use this package see README

Latest version published 3 years ago

License: MPL-2.0

PyPI

GitHub

Package Health Score

39 / 100

security
Security review needed
popularity
Limited
maintenance
Inactive
community
Limited

Popularity

Limited

GitHub Stars: 7
Forks: 3
Contributors: 9

Direct Usage Popularity

Based on project statistics from the GitHub repository for the PyPI package demystify, we found that it has been starred 7 times.

Security

Security review needed

Security and license risk for latest version

Release Date: Jul 23, 2021
Direct Vulnerabilities: 0
C
0
H
0
M
0
L
Indirect Vulnerabilities: 0
C
0
H
0
M
0
L
License Risk: 0
H
1
M
0
L

All security vulnerabilities belong to production dependencies of direct and indirect packages.

License

MPL-2.0

Non-Permissive License

We noticed that this project uses a license which requires less permissive conditions such as disclosing the source code, stating changes or redistributing the source under the same license. It is advised to further consult the license terms before use.

Security Policy

We found a way for you to contribute to the project! Looks like demystify is missing a security policy.

You can connect your project's repository to Snyk to stay up to date on security alerts and receive automatic fix pull requests.

Keep your project free of vulnerabilities with Snyk

Maintenance

Inactive

Commit Frequency

Open Issues: 3
Open PR: 0
Last Release: 3 years ago
Last Commit: 8 months ago

Further analysis of the maintenance status of demystify based on released PyPI versions cadence, the repository activity, and other data points determined that its maintenance is Inactive.

An important project maintenance signal to consider for demystify is that it hasn't seen any new versions released to PyPI in the past 12 months, and could be considered as a discontinued project, or that which receives low attention from its maintainers.

In the past month we didn't find any pull request activity or change in issues status has been detected for the GitHub repository.

Community

Limited

Readme: Yes
Contributing.md: No
Code of Conduct: No
Contributors: 9
Funding: No

This project has seen only 10 or less contributors.

We found a way for you to contribute to the project! Looks like demystify is missing a Code of Conduct.

Embed Package Health Score Badge

Keep your project healthy

Check your requirements.txt

Ensure all the packages you're using are healthy and well-maintained

Snyk Vulnerability Scanner

Get health score & security insights directly in your IDE

Package

Python Versions Compatibility: Unspecified

Age: 3 years
Latest Release: 3 years ago
Dependencies: 4 Direct / 7 Total
Versions: 17
Maintainers: 2
Wheels: OS Independent

Readme

Demystify

Pen and paper puzzles like Sudoku, Futoshiki and Skyscrapers are hugely popular. Solving such puzzles can be a trivial task for modern AI systems. However, most AI systems solve problems using a form of backtracking, while people try to avoid backtracking as much as possible. This means that existing AI systems do not output explanations about their reasoning that are meaningful to people.

Demystify is a tool which allows puzzles to be expressed in a high-level constraint programming language and uses MUSes to automatically produce descriptions of steps in the puzzle solving.

Install Instructions

Install conjure (in conjure git checkout):

git clone https://github.com/conjure-cp/conjure && cd conjure && make && make solvers && make install

Install some python packages:

pip3 install python-sat z3-solver numpy sortedcontainers

Then try:

python3 demystify --eprime eprime/binairo.eprime --eprimeparam eprime/binairo-1.param

Visualizer

Demystify also has a visual interface, which you can find in a separate repository here

Implemented Puzzles

Binairo
Futoshiki
Sudoku
Jigsaw Sudoku
X-Sudoku
Miracle Sudoku
Kakuro
Skyscrapers
Star Battle
Tents and Trees
Thermometers

All the models can be found in the eprime directory. If you are interested in a puzzle that is not implemented, there is a guide for modelling your own puzzles here.

Publications

Using Small MUSes to Explain How to Solve Pen and Paper Puzzles

demystify dependencies

numpy python-sat sortedcontainers z3-solver

FAQs

What is demystify?

Demystify is a tool which allows puzzles to be expressed in a high-level constraint programming language and uses MUSes... Visit Snyk Advisor to see a full health score report for demystify, including popularity, security, maintenance & community analysis.

Is demystify popular?

The python package demystify receives a total of 222 weekly downloads. As such, demystify popularity was classified as limited. Visit the popularity section on Snyk Advisor to see the full health analysis.

Is demystify well maintained?

We found indications that demystify is an Inactive project. See the full package health analysis to learn more about the package maintenance status.

Is demystify safe to use?

While scanning the latest version of demystify, we found that a security review is needed. A total of 0 vulnerabilities or license issues were detected. See the full security scan results.

Last updated on 21 November-2024, at 19:37 (UTC).

Build a secure application checklist

Select a recommended open source package

Minimize your risk by selecting secure & well maintained open source packages

DONE

Scan your app for vulnerabilities

Scan your application to find vulnerabilities in your: source code, open source dependencies, containers and configuration files

SCAN NOW

Fix identified vulnerabilities

Easily fix your code by leveraging automatically generated PRs

AUTO FIX

Monitor for new issues

New vulnerabilities are discovered every day. Get notified if your application is affected

MONITOR APP