copilot-swe-agent[bot] bb177988eb Apply code simplification improvements ... - Consolidated two contains() methods into single template function - Added const correctness to helper methods in argument_parser.h - Improved string handling (replaced substr with compare, return "" instead of std::string()) - Fixed indentation in nlsat_solver.cpp nested loop - Modernized empty container return syntax in lp.cpp Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>		2026-02-12 02:59:21 +00:00
..
tactic	Standardize for-loop increments to prefix form (++i) (#8199)	2026-01-14 19:55:31 -08:00
CMakeLists.txt	Merge with branch lws (#8498)	2026-02-04 09:52:02 -08:00
levelwise.cpp	fix build of test	2026-02-10 12:56:13 -08:00
levelwise.h	Merge with branch lws (#8498)	2026-02-04 09:52:02 -08:00
nlsat_assignment.h	Use noexcept more. (#7058)	2023-12-16 12:14:53 +00:00
nlsat_clause.cpp	Standardize for-loop increments to prefix form (++i) (#8199)	2026-01-14 19:55:31 -08:00
nlsat_clause.h	deal with warnings	2025-07-02 10:59:56 -07:00
nlsat_common.cpp	Merge with branch lws (#8498)	2026-02-04 09:52:02 -08:00
nlsat_common.h	Merge with branch lws (#8498)	2026-02-04 09:52:02 -08:00
nlsat_evaluator.cpp	Standardize for-loop increments to prefix form (++i) (#8199)	2026-01-14 19:55:31 -08:00
nlsat_evaluator.h	fix build	2024-01-24 08:52:56 -08:00
nlsat_explain.cpp	relax a too strong assert	2026-02-10 13:24:52 -10:00
nlsat_explain.h	Merge with branch lws (#8498)	2026-02-04 09:52:02 -08:00
nlsat_interval_set.cpp	Standardize for-loop increments to prefix form (++i) (#8199)	2026-01-14 19:55:31 -08:00
nlsat_interval_set.h	Merge with branch lws (#8498)	2026-02-04 09:52:02 -08:00
nlsat_justification.h	booyah	2020-07-04 15:56:30 -07:00
nlsat_params.pyg	Merge with branch lws (#8498)	2026-02-04 09:52:02 -08:00
nlsat_scoped_literal_vector.h	Remove copies (#8583)	2026-02-11 18:14:36 +00:00
nlsat_simple_checker.cpp	Centralize and document TRACE tags using X-macros (#7657)	2025-05-28 14:31:25 +01:00
nlsat_simple_checker.h	use standard name conventions and add file headers	2024-08-12 08:29:06 -10:00
nlsat_simplify.cpp	use usize to suppress the data loss warnings	2025-07-02 14:42:55 -07:00
nlsat_simplify.h	Nlsat simplify (#7227)	2024-05-14 22:19:33 -07:00
nlsat_solver.cpp	Apply code simplification improvements	2026-02-12 02:59:21 +00:00
nlsat_solver.h	Merge with branch lws (#8498)	2026-02-04 09:52:02 -08:00
nlsat_types.cpp	Standardize for-loop increments to prefix form (++i) (#8199)	2026-01-14 19:55:31 -08:00
nlsat_types.h	Merge with branch lws (#8498)	2026-02-04 09:52:02 -08:00
nlsat_variable_ordering_strategy.cpp	Standardize for-loop increments to prefix form (++i) (#8199)	2026-01-14 19:55:31 -08:00
nlsat_variable_ordering_strategy.h	use standard name conventions and add file headers	2024-08-12 08:29:06 -10:00