Difference Constraints over Modular Arithmetic


TBC...

Describe usage and input format.

File Description
moddiff_src.tar.gz Source
moddiff_insts.tar.gz The set of randomly generated instances used in [1].

[1] G. Gange, H. Søndergaard, P. J. Stuckey, and P. Schachte. Solving Difference Constraints over Modular Arithmetic. To appear in Proceedings of the 24th International Conference on Automated Deduction

Contact

Graeme Gange

Home