Matthijs Mekking 32f8f6237c Remove DLV remnants ... DLV is long gone, so we can remove design documentation around DLV, related command line options (that were already a hard failure), and some DLV related test remnants.		2024-12-13 11:24:47 +01:00
..
.gitignore	[master] update gitignore files; use rev-parse to get srcid	2014-06-17 13:49:30 -07:00
delv.c	Remove DLV remnants	2024-12-13 11:24:47 +01:00
delv.rst	Change default max-recursion-queries to 50	2024-12-05 14:17:08 +01:00
Makefile.am	Delv now supports selecting FIPS mode at runtime	2024-11-22 09:40:46 +11:00