API for RainMad/constraints-based-miner
An implementation of a Constraints Based Miner
| Global functions | |
|---|---|
| alternate_precedence | Source code |
| alternate_response | Source code |
| alternate_succession | Source code |
| at_most_once | Source code |
| chain_precedence | Source code |
| chain_response | Source code |
| chain_succession | Source code |
| coexistence | Source code |
| end_constraint | Source code |
| init_constraint | Source code |
| not_chain_succession | Source code |
| not_coexistence | Source code |
| not_succession | Source code |
| participation | Source code |
| precedence | Source code |
| responded_existence | Source code |
| response | Source code |
| runExample | Source code |
| server | Source code |
| succession | Source code |
