- 06 Feb, 2023 10 commits
-
-
François Bobot authored
Fix some heuristics See merge request !28
-
François Bobot authored
New array and sequence theory See merge request !27
-
François Bobot authored
-
François Bobot authored
Stop with steplimitreached when getting to fix-model
-
François Bobot authored
-
François Bobot authored
Decisions where not added in instantiations
-
François Bobot authored
-
François Bobot authored
-
François Bobot authored
-
François Bobot authored
-
- 01 Feb, 2023 2 commits
-
-
Hichem R. A. authored
Add a HT that associates ints to nodes
-
Hichem R. A. authored
-
- 21 Jan, 2023 28 commits
-
-
François Bobot authored
-
-
François Bobot authored
This code is still dangeraous it would be better to make the type private
-
-
-
François Bobot authored
-
François Bobot authored
unsatisfactory use of limit, not fear iteration
-
In addition, added interface files and headers
-
-
- Generalized, Efficient Array Decision Procedures - Sharing is Caring
-
-
-
François Bobot authored
-
François Bobot authored
-
-
-
-
-
-
-
-
-
-
-
François Bobot authored
-
-
-
-