Adam J. Stewart 31e6967c49 MAGMA: add patch to build with CUDA sm_37 (#24442)		2021-06-21 20:18:26 -07:00
..
builtin	MAGMA: add patch to build with CUDA sm_37 (#24442)	2021-06-21 20:18:26 -07:00
builtin.mock	ASP-based solver: reordered low priority optimization criteria (#24184)	2021-06-08 16:10:49 +02:00
tutorial