Skip to content

Add VC Constraint Simplification#264

Open
rcosta358 wants to merge 2 commits into
mainfrom
vc-constraint-elimination
Open

Add VC Constraint Simplification#264
rcosta358 wants to merge 2 commits into
mainfrom
vc-constraint-elimination

Conversation

@rcosta358

@rcosta358 rcosta358 commented Jun 22, 2026

Copy link
Copy Markdown
Collaborator

Description

This PR adds VC simplification for constraints implied by stronger constraints later in a VCImplication chain, which are simplified to true.

Example

∀x:int. x > 0 => x > 1

is simplified to

∀x:int. true => x > 1

Related Issue

None.

Type of change

  • Bug fix
  • New feature
  • Documentation update
  • Code refactoring

Checklist

  • Added/updated tests
  • mvn test passes locally
  • Updated docs/README if behavior or API changed

@rcosta358 rcosta358 self-assigned this Jun 22, 2026
@rcosta358 rcosta358 added enhancement New feature or request simplification Related to the simplification of expressions labels Jun 22, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@rcosta358 rcosta358

Labels

enhancement New feature or request simplification Related to the simplification of expressions

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@rcosta358