NPify is a python lirbray for easy and efficient encoding of your problem to SAT, CP and MIP.
This project is still in it's early stages. Bookmark and come back in a few month!
NPify/npify
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|