Skip to content

Actions: paultristanwagner/satisfiability-checking

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Optimize imports Java CI with Maven #99: Commit 4ec4bfb pushed by paultristanwagner
July 15, 2024 13:46 25s main
main
July 15, 2024 13:46 25s
Fix missing variables from objective function in NRA Java CI with Maven #98: Commit c85c048 pushed by paultristanwagner
July 15, 2024 13:08 23s main
main
July 15, 2024 13:08 23s
Update sudoku equality builder to new QF_EQ syntax Java CI with Maven #97: Commit db6cce8 pushed by paultristanwagner
July 15, 2024 12:51 2m 45s main
main
July 15, 2024 12:51 2m 45s
Fix CAD filtering Java CI with Maven #96: Commit 4355677 pushed by paultristanwagner
March 6, 2024 09:36 29s main
main
March 6, 2024 09:36 29s
Fix linear integer solver for non-optimizing problems Java CI with Maven #95: Commit 7dc927b pushed by paultristanwagner
March 6, 2024 01:45 33s main
main
March 6, 2024 01:45 33s
Highlight SMT capabilities in README Java CI with Maven #94: Commit 472e90a pushed by paultristanwagner
March 6, 2024 01:38 28s main
main
March 6, 2024 01:38 28s
Fix bug in full lazy SMT solver Java CI with Maven #93: Commit b390029 pushed by paultristanwagner
March 6, 2024 01:38 28s main
main
March 6, 2024 01:38 28s
Non-linear optimization, bug fixes in CAD (#8) Java CI with Maven #92: Commit 33de128 pushed by paultristanwagner
March 6, 2024 01:16 31s main
main
March 6, 2024 01:16 31s
Non-linear optimization, bug fixes in CAD Java CI with Maven #91: Pull request #8 opened by paultristanwagner
March 6, 2024 01:14 27s feature/non-linear-optimization
feature/non-linear-optimization
March 6, 2024 01:14 27s
Cache sturm sequence Java CI with Maven #90: Commit b32886c pushed by paultristanwagner
March 4, 2024 11:45 26s main
main
March 4, 2024 11:45 26s
Complete refactoring of linear integer solver Java CI with Maven #89: Commit 8b9a7f4 pushed by paultristanwagner
March 4, 2024 00:47 31s main
main
March 4, 2024 00:47 31s
Complete refactoring of linear integer solver Java CI with Maven #88: Commit df5ce0b pushed by paultristanwagner
March 4, 2024 00:47 27s main
main
March 4, 2024 00:47 27s
Fix interval evaluation of multivariate polynomials Java CI with Maven #87: Commit 9804f34 pushed by paultristanwagner
March 4, 2024 00:19 34s main
main
March 4, 2024 00:19 34s
Generify constraints in linear real arithmetic (#7) Java CI with Maven #86: Commit 881ba90 pushed by paultristanwagner
March 3, 2024 23:29 36s main
main
March 3, 2024 23:29 36s
Generify constraints in linear real arithmetic Java CI with Maven #85: Pull request #7 opened by paultristanwagner
March 3, 2024 23:28 34s feature/linear-real-arithmetic
feature/linear-real-arithmetic
March 3, 2024 23:28 34s
Fix multivariate derivative Java CI with Maven #84: Commit 34bdc86 pushed by paultristanwagner
February 24, 2024 22:29 33s main
main
February 24, 2024 22:29 33s
QF_NRA prototype (#6) Java CI with Maven #83: Commit 82d61a2 pushed by paultristanwagner
February 21, 2024 12:41 39s main
main
February 21, 2024 12:41 39s
QF_NRA prototype Java CI with Maven #82: Pull request #6 opened by paultristanwagner
February 21, 2024 12:40 36s feature/non-linear-real-arithmetic
feature/non-linear-real-arithmetic
February 21, 2024 12:40 36s
Note QF_BV in README Java CI with Maven #81: Commit b3d89fb pushed by paultristanwagner
January 5, 2024 14:51 30s main
main
January 5, 2024 14:51 30s
Add bitvector arithmetic (#5) Java CI with Maven #80: Commit 1bc60b7 pushed by paultristanwagner
January 5, 2024 14:39 28s main
main
January 5, 2024 14:39 28s
Add bitvector arithmetic Java CI with Maven #79: Pull request #5 opened by paultristanwagner
January 5, 2024 14:39 32s feature/bitvector-arithmetic
feature/bitvector-arithmetic
January 5, 2024 14:39 32s
Add exact rational arithmetic (#4) Java CI with Maven #78: Commit 45daaf0 pushed by paultristanwagner
January 5, 2024 13:09 31s main
main
January 5, 2024 13:09 31s
Add exact rational arithmetic Java CI with Maven #77: Pull request #4 opened by paultristanwagner
January 5, 2024 13:08 32s feature/rational-arithmetic
feature/rational-arithmetic
January 5, 2024 13:08 32s
Replace images in README with code blocks Java CI with Maven #76: Commit 2fda2cc pushed by paultristanwagner
January 5, 2024 12:47 38s main
main
January 5, 2024 12:47 38s
Update README.md Java CI with Maven #75: Commit bcc82fd pushed by paultristanwagner
November 9, 2023 15:26 30s main
main
November 9, 2023 15:26 30s