[Array] Fix ext application on arrays of different types

See merge request !30

Hichem R. A. authored 2 years ago and Hichem R. A. committed 2 years ago

for weak equivalency graph, which is a more accurate name.

Fix some heuristics

See merge request !28

New array and sequence theory

See merge request !27

            Stop with steplimitreached when getting to fix-model

        Decisions where not added in instantiations

Hichem R. A. authored 2 years ago and Hichem R. A. committed 2 years ago

Add a HT that associates ints to nodes

    This code is still dangeraous it would be better to make the type private

        unsatisfactory use of limit, not fear iteration

Hichem R. A. authored 2 years ago and François Bobot committed 2 years ago

In addition, added interface files and headers

Hichem R. A. authored 2 years ago and François Bobot committed 2 years ago

- Generalized, Efficient Array Decision Procedures
- Sharing is Caring