3 Commits

Author	SHA1	Message	Date
Slava Pestov	cda3cda132	Sema: Rework change recording in PotentialBindings::retract() ... Instead of making an undo() do an infer(), let's record fine-grained changes about what was retracted, and directly re-insert the same elements into the data structures.	2025-02-04 20:26:12 -05:00
Slava Pestov	eeab483cab	Sema: Undo changes in chronological order in SolverTrail::undo()	2024-11-19 21:24:12 -05:00
Greg Titus	18392fd576	Remove external dependencies and move from validation_test to test.	2024-06-18 19:01:08 -07:00