4 commits

Author	SHA1	Message	Date
CEisenhofer	e384e8f3d4	Added right-to-left rules	2026-03-13 17:25:14 +01:00
copilot-swe-agent[bot]	5003cece9d	Implement Parameter integration for theory_nseq (smt.nseq.max_depth) ... Co-authored-by: CEisenhofer <56730610+CEisenhofer@users.noreply.github.com>	2026-03-04 15:45:55 +00:00
Nikolaj Bjorner	fcd3a70c92	remove theory_str and classes that are only used by it	2025-08-07 21:05:12 -07:00
Nikolaj Bjorner	c387b20ac6	move smt params to params directory, update release.yml	2025-06-09 10:47:22 -07:00

Renamed from src/smt/params/smt_params.h (Browse further)