vaibhavkarve / graphsat Goto Github PK

• docs :: http://dabeaz.com/ply/
• github :: https://github.com/dabeaz/ply

A CI job should be set up for automated testing as well as automated
type-checking.

This is referring to all the data used as part of GraphSAT study

When we create a pip-installable package and put it on PyPI, we should
have a way to test our installation steps.

Possible installation steps

• pip install graphsat (from pip and without poetry)
• install Minisat22
• run the test suite of graphsat (will need to include tests as part of the package)

Docker recommendations

• use alpine-linux for a slimmer image
• cache the pip installation for faster testing time

Take a graph. Compute all Cnfs on it. Translate each CNF by the correct
amount so that each CNF has a disjoint variable set. Then send this
big-bloated CNF to a cnf-satchecker.

Question: Is this strategy faster than other graph-satcheckers?

• Helpful link to read up on concurrency: http://pljung.de/posts/easy-concurrency-in-python

• Read: 12 steps to scientificpython: http://www.davidketcheson.info/2015/05/10/rock_solid_code.html
• Python Package Structure: Dead Simple Python: Project Structure and Imports - DEV
  https://dev.to/codemouse92/dead-simple-python-project-structure-and-imports-38c6