4 commits

Author	SHA1	Message	Date
Lev Nachmanson	60f9edb65f	preserve random seed in nlsat_solver::check_lemma ... Signed-off-by: Lev Nachmanson <levnach@hotmail.com>	2026-02-02 13:31:33 -10:00
Don Syme	19f8001dd9	Add workflow: githubnext/agentics/daily-test-improver	2025-09-12 22:17:17 +01:00
Ken McMillan	278d619521	set text default to auto to try to avoid crlf disasters	2014-04-01 17:20:37 -07:00
Nuno Lopes	5cbba08762	add .gitattributes ... Signed-off-by: Nuno Lopes <t-nclaud@microsoft.com>	2013-04-10 11:54:35 -07:00