3 commits

Author	SHA1	Message	Date
Copilot	2f8342a1b3	Add smt.finite_set.lattice_refutation parameter to control lattice refutation code path (#8247) ... * Initial plan * Add finite_set.lattice_refutation parameter to smt_params_helper.pyg Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> * Add finite_set.lattice_refutation parameter implementation Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> --------- Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com> Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>	2026-01-20 17:20:52 -08: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)