Describe operation generators for models in a README
ligurio opened this issue · comments
Sergey Bronnikov commented
Describe operation generators for models in a README
The command-line frontend to transactional consistency checkers for black-box databases
ligurio opened this issue · comments