3 commits

Author	SHA1	Message	Date
Lev Nachmanson	8999e1a340	use standard name conventions and add file headers ... Signed-off-by: Lev Nachmanson <levnach@hotmail.com>	2024-08-12 08:29:06 -10:00
Lev Nachmanson	33f0256e20	cleanup	2024-08-11 12:45:36 -10:00
Lev Nachmanson	1a5bddb4f0	port more from hybridSMT ... Signed-off-by: Lev Nachmanson <levnach@hotmail.com>	2024-08-11 12:45:36 -10:00