search

benbrastmckie / ModelChecker

A hyperintensional theorem prover for modal, counterfactual conditional, constitutive explanatory, and extensional operators.
https://pypi.org/project/model-checker/
2 stars 0 forks source link

Packaging #23

Open benbrastmckie opened 2 months ago

benbrastmckie commented 2 months ago

I am working on packaging the model checker and wanted to see if the following installation works:

pip install model-checker==0.1

Since I'm on NixOS I can't use pip install. When @mbuit82 get a chance, could you give the command above a try in the terminal?

Here is the link to the package.

benbrastmckie commented 2 months ago

I have changed things around so that the test_complete script provides the option of generating a template file, or runs an example file. If you cd into /ModelChecker/model_checker/package/ run the following to find a model:

python3 test_complete.py examples.py

To generate a new test file, leave off examples.py.

benbrastmckie commented 1 month ago

Regarding exposing the functions, you can build the package locally from the directory that includes the .toml file with pip install -e . This is something I cannot do with NixOS unfortunately, though could in the MIT server if I needed to. The -e flag makes it editable so that you can continue to make changes to the source files without reinstalling. You will probably need to change the relative paths before installing (I did). You can find these commented out with the note for packaging. Before making these changes (un-commenting the appropriate lines) open a new branch so that master still works in the old way.

Once you have installed the package locally you will be able to run model-checker from anywhere (this is defined in the .toml file). You should also be able to import the functions etc. Let me know if you hit any snags!