Add finite set API support for C# and Java bindings

[Copilot]

Extend C# and Java APIs for finite set operations

Based on the investigation, the native bindings (JNI for Java and P/Invoke for C#) are already auto-generated by the build system from the C API def_API macros in z3_api.h.

Changes Made

Java API

• Created FiniteSetSort.java class that extends Sort directly (finite sets are distinct from array-based sets)
• Added 14 high-level wrapper methods in Context.java
• Added FiniteSetSort.java to CMakeLists.txt build configuration

C# API

• Created FiniteSetSort.cs class that extends Sort directly
• Added 14 high-level wrapper methods in Context.cs
• Added FiniteSetSort.cs to CMakeLists.txt build configuration

Testing & Validation

• Build succeeds with Java and .NET bindings (CMake + Make)
• Java test: All 11 test cases pass ✓
• C# test: All 12 test cases pass ✓
• Code review: 1 comment (about inheritance - by design per documentation)
• Security scan: 0 vulnerabilities found ✓
• Fixed build errors by adding new files to CMakeLists.txt ✓

Available Operations

Sort Operations

• Create finite set sorts
• Check if a sort is a finite set sort
• Get the element sort (basis) of a finite set

Set Constructors

• Empty sets
• Singleton sets
• Integer ranges [low..high]

Set Operations

• Union
• Intersection
• Difference

Set Queries

• Membership tests
• Size/cardinality
• Subset checks

Set Transformations

• Map functions over sets
• Filter sets with predicates

All methods follow the existing patterns in the codebase and the SMT-LIB2 finite set theory syntax.

Original prompt

Extend the APIs for C# and Java to support the operations for finite sets that are defined for the C API.

---

✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.

[NikolajBjorner]

@copilot can you fix the build errors?

[Copilot]

@copilot can you fix the build errors?

Fixed in commit f234acd. The issue was that the new FiniteSetSort.java and FiniteSetSort.cs files were not added to the CMakeLists.txt build configurations. Both Java and .NET builds now succeed.