Note: a starter guide to contribute this project

[GiggleLiu]

Code

1. Add a new model: https://github.com/GiggleLiu/ProblemReductions.jl/tree/main/src/models
2. Add a new rule: https://github.com/GiggleLiu/ProblemReductions.jl/tree/main/src/rules , the correctness of your reduction should be tested here: https://github.com/GiggleLiu/ProblemReductions.jl/blob/main/test/rules/rules.jl

Documentation

To get started, you can deploy the documentation locally with a single command:

$ make init
$ make serve

To contribute an example, please check this folder:
https://github.com/GiggleLiu/ProblemReductions.jl/tree/main/examples

The tool we are using is Literate