Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

sat4j
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Environments
- Incidents

Snippets Groups Projects

85e42224

Commit 85e42224 authored 11 months ago by Daniel Le Berre

Downloads
- Patches
- Plain Diff

New test files from Iris

parent ac2343ad

No related branches found

No related tags found

Loading

Checking pipeline status

Changes 3
Pipelines 1

Hide whitespace changes

Inline Side-by-side

Showing

org.sat4j.core/src/test/java/org/sat4j/tools/BugSAT175.java 12 additions, 0 deletions

org.sat4j.core/src/test/java/org/sat4j/tools/BugSAT175.java
org.sat4j.core/src/test/testfiles/bug175-6.cnf 2 additions, 0 deletions

org.sat4j.core/src/test/testfiles/bug175-6.cnf
org.sat4j.core/src/test/testfiles/bug175-7.cnf 6 additions, 0 deletions

org.sat4j.core/src/test/testfiles/bug175-7.cnf

with 20 additions and 0 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment