Mantis is a matching engine for binary options.
- track positions, balances, available
- prevent negative balances
- create, trade, and resolve markets
- enter long or short positions
- three order types: GTC, IOC, ALO
- contract conversion => yes + 1usd <-> n-1 * no
- contract merging => a+b = a&b + a|b