From 45c0bda6e21e1c18b25034b2e11de722417a336e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 11 Sep 2024 22:43:05 -0700 Subject: [PATCH] Add TODO list for enhancements in sls_euf_plugin.cpp --- src/ast/sls/sls_euf_plugin.cpp | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/ast/sls/sls_euf_plugin.cpp b/src/ast/sls/sls_euf_plugin.cpp index 20a2c1a6a..a85ef5e69 100644 --- a/src/ast/sls/sls_euf_plugin.cpp +++ b/src/ast/sls/sls_euf_plugin.cpp @@ -12,6 +12,12 @@ Abstract: Author: Nikolaj Bjorner (nbjorner) 2024-06-24 + +Todo: + +- try incremental CC with backtracking for changing assignments +- try determining plateau moves. +- try generally a model rotation move. --*/