{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":433222571,"defaultBranch":"main","name":"satisfiability-checking","ownerLogin":"paultristanwagner","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-11-29T22:58:29.000Z","ownerAvatar":"https://github.com/avatars/u/13136968?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1709687335.0","currentOid":""},"activityList":{"items":[{"before":"c85c0489478dfc8943f9a3a19c8d8982fa1ff008","after":"4ec4bfb8b7c90e606ded326f51d53532937202b1","ref":"refs/heads/main","pushedAt":"2024-07-15T13:46:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://github.com/avatars/u/13136968?s=80&v=4"},"commit":{"message":"Optimize imports","shortMessageHtmlLink":"Optimize imports"}},{"before":"db6cce8cb9090a7ed260a0c615b4fb79ef42b734","after":"c85c0489478dfc8943f9a3a19c8d8982fa1ff008","ref":"refs/heads/main","pushedAt":"2024-07-15T13:08:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://github.com/avatars/u/13136968?s=80&v=4"},"commit":{"message":"Fix missing variables from objective function in NRA","shortMessageHtmlLink":"Fix missing variables from objective function in NRA"}},{"before":"43556776b5aba1a82b69c1a755855c7ac97de06d","after":"db6cce8cb9090a7ed260a0c615b4fb79ef42b734","ref":"refs/heads/main","pushedAt":"2024-07-15T12:51:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://github.com/avatars/u/13136968?s=80&v=4"},"commit":{"message":"Update sudoku equality builder to new QF_EQ syntax","shortMessageHtmlLink":"Update sudoku equality builder to new QF_EQ syntax"}},{"before":"7dc927b4dd7dfd1408e779a5aa0fbb0944f1994a","after":"43556776b5aba1a82b69c1a755855c7ac97de06d","ref":"refs/heads/main","pushedAt":"2024-03-06T09:36:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://github.com/avatars/u/13136968?s=80&v=4"},"commit":{"message":"Fix CAD filtering","shortMessageHtmlLink":"Fix CAD filtering"}},{"before":"472e90aa837dde13bbc4fa4e4f0149b87fe1cce5","after":"7dc927b4dd7dfd1408e779a5aa0fbb0944f1994a","ref":"refs/heads/main","pushedAt":"2024-03-06T01:45:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://github.com/avatars/u/13136968?s=80&v=4"},"commit":{"message":"Fix linear integer solver for non-optimizing problems","shortMessageHtmlLink":"Fix linear integer solver for non-optimizing problems"}},{"before":"b39002908df78c43318be3ef13cc5199e1ca25ad","after":"472e90aa837dde13bbc4fa4e4f0149b87fe1cce5","ref":"refs/heads/main","pushedAt":"2024-03-06T01:38:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://github.com/avatars/u/13136968?s=80&v=4"},"commit":{"message":"Highlight SMT capabilities in README","shortMessageHtmlLink":"Highlight SMT capabilities in README"}},{"before":"33de1281788ad818548e4f5f2ac127024774dfec","after":"b39002908df78c43318be3ef13cc5199e1ca25ad","ref":"refs/heads/main","pushedAt":"2024-03-06T01:38:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://github.com/avatars/u/13136968?s=80&v=4"},"commit":{"message":"Fix bug in full lazy SMT solver","shortMessageHtmlLink":"Fix bug in full lazy SMT solver"}},{"before":"b32886ceb5bbe1e90cb7ecd09c9403af0288128f","after":"33de1281788ad818548e4f5f2ac127024774dfec","ref":"refs/heads/main","pushedAt":"2024-03-06T01:16:50.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://github.com/avatars/u/13136968?s=80&v=4"},"commit":{"message":"Non-linear optimization, bug fixes in CAD (#8)","shortMessageHtmlLink":"Non-linear optimization, bug fixes in CAD (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2170439213\" data-permission-text=\"Title is private\" data-url=\"https://github.com/paultristanwagner/satisfiability-checking/issues/8\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/paultristanwagner/satisfiability-checking/pull/8/hovercard\" href=\"https://github.com/paultristanwagner/satisfiability-checking/pull/8\">#8</a>)"}},{"before":null,"after":"8d2ba20f6ea44156c4e149aeeea75c48c6946f14","ref":"refs/heads/feature/non-linear-optimization","pushedAt":"2024-03-06T01:08:55.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://github.com/avatars/u/13136968?s=80&v=4"},"commit":{"message":"Non-linear optimization, bug fixes in CAD","shortMessageHtmlLink":"Non-linear optimization, bug fixes in CAD"}},{"before":"8b9a7f4df9b1d7caa10ad8d725d6450acb7c8ba2","after":"b32886ceb5bbe1e90cb7ecd09c9403af0288128f","ref":"refs/heads/main","pushedAt":"2024-03-04T11:45:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://github.com/avatars/u/13136968?s=80&v=4"},"commit":{"message":"Cache sturm sequence","shortMessageHtmlLink":"Cache sturm sequence"}},{"before":"df5ce0b2fa203ca5e76931fc2164b9ebcddcc853","after":"8b9a7f4df9b1d7caa10ad8d725d6450acb7c8ba2","ref":"refs/heads/main","pushedAt":"2024-03-04T00:47:56.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://github.com/avatars/u/13136968?s=80&v=4"},"commit":{"message":"Complete refactoring of linear integer solver","shortMessageHtmlLink":"Complete refactoring of linear integer solver"}},{"before":"9804f3402aefa33ab70f73a8381750e28f510f21","after":"df5ce0b2fa203ca5e76931fc2164b9ebcddcc853","ref":"refs/heads/main","pushedAt":"2024-03-04T00:47:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://github.com/avatars/u/13136968?s=80&v=4"},"commit":{"message":"Complete refactoring of linear integer solver","shortMessageHtmlLink":"Complete refactoring of linear integer solver"}},{"before":"881ba9015a56b5dd6d277e7268f539556d667118","after":"9804f3402aefa33ab70f73a8381750e28f510f21","ref":"refs/heads/main","pushedAt":"2024-03-04T00:19:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://github.com/avatars/u/13136968?s=80&v=4"},"commit":{"message":"Fix interval evaluation of multivariate polynomials","shortMessageHtmlLink":"Fix interval evaluation of multivariate polynomials"}},{"before":"34bdc86b4cb8e8756263fb68a88a3d7eb422e9bf","after":"881ba9015a56b5dd6d277e7268f539556d667118","ref":"refs/heads/main","pushedAt":"2024-03-03T23:29:07.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://github.com/avatars/u/13136968?s=80&v=4"},"commit":{"message":"Generify constraints in linear real arithmetic (#7)","shortMessageHtmlLink":"Generify constraints in linear real arithmetic (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2165620796\" data-permission-text=\"Title is private\" data-url=\"https://github.com/paultristanwagner/satisfiability-checking/issues/7\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/paultristanwagner/satisfiability-checking/pull/7/hovercard\" href=\"https://github.com/paultristanwagner/satisfiability-checking/pull/7\">#7</a>)"}},{"before":"0716e74b81a88b9babdf71e8470d7d95bd6b5257","after":"f1f17c4db8ff86f53cf14878be717ae416ddc614","ref":"refs/heads/feature/linear-real-arithmetic","pushedAt":"2024-03-03T23:08:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://github.com/avatars/u/13136968?s=80&v=4"},"commit":{"message":"Generify linear constraints","shortMessageHtmlLink":"Generify linear constraints"}},{"before":null,"after":"0716e74b81a88b9babdf71e8470d7d95bd6b5257","ref":"refs/heads/feature/linear-real-arithmetic","pushedAt":"2024-03-01T10:12:03.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://github.com/avatars/u/13136968?s=80&v=4"},"commit":{"message":"WIP on linear constraint refactor","shortMessageHtmlLink":"WIP on linear constraint refactor"}},{"before":"82d61a2f077f647527c6e33de950edd6111ec30a","after":"34bdc86b4cb8e8756263fb68a88a3d7eb422e9bf","ref":"refs/heads/main","pushedAt":"2024-02-24T22:29:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://github.com/avatars/u/13136968?s=80&v=4"},"commit":{"message":"Fix multivariate derivative","shortMessageHtmlLink":"Fix multivariate derivative"}},{"before":"b3d89fb1841ab86e04bf7db5c3cabed8f0ee4ea8","after":"82d61a2f077f647527c6e33de950edd6111ec30a","ref":"refs/heads/main","pushedAt":"2024-02-21T12:40:58.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://github.com/avatars/u/13136968?s=80&v=4"},"commit":{"message":"QF_NRA prototype (#6)","shortMessageHtmlLink":"QF_NRA prototype (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2146659748\" data-permission-text=\"Title is private\" data-url=\"https://github.com/paultristanwagner/satisfiability-checking/issues/6\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/paultristanwagner/satisfiability-checking/pull/6/hovercard\" href=\"https://github.com/paultristanwagner/satisfiability-checking/pull/6\">#6</a>)"}},{"before":"47b2eae344e5c7e03196aa89d650d04d41f2e7f2","after":"e24078a9bb461112023dd8587bb9480c571c38ab","ref":"refs/heads/feature/non-linear-real-arithmetic","pushedAt":"2024-02-21T12:34:29.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://github.com/avatars/u/13136968?s=80&v=4"},"commit":{"message":"QF_NRA prototype","shortMessageHtmlLink":"QF_NRA prototype"}},{"before":"171c0e7e27c946442eb9701c3c0d1af9767fa835","after":"47b2eae344e5c7e03196aa89d650d04d41f2e7f2","ref":"refs/heads/feature/non-linear-real-arithmetic","pushedAt":"2024-02-21T12:32:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://github.com/avatars/u/13136968?s=80&v=4"},"commit":{"message":"QF_NRA prototype","shortMessageHtmlLink":"QF_NRA prototype"}},{"before":"53fa18dcd9fb51ea9db44bf28e87e154116749ba","after":"171c0e7e27c946442eb9701c3c0d1af9767fa835","ref":"refs/heads/feature/non-linear-real-arithmetic","pushedAt":"2024-02-19T11:37:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://github.com/avatars/u/13136968?s=80&v=4"},"commit":{"message":"Improve multivariate polynomial, fix bugs in parser","shortMessageHtmlLink":"Improve multivariate polynomial, fix bugs in parser"}},{"before":"84718c37a6b5cafc8c3b97d364906a3a122e85b6","after":"53fa18dcd9fb51ea9db44bf28e87e154116749ba","ref":"refs/heads/feature/non-linear-real-arithmetic","pushedAt":"2024-02-16T23:25:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://github.com/avatars/u/13136968?s=80&v=4"},"commit":{"message":"WIP on CAD","shortMessageHtmlLink":"WIP on CAD"}},{"before":"801d79fa6200d288976b3523e7572f18ff0f06dc","after":"84718c37a6b5cafc8c3b97d364906a3a122e85b6","ref":"refs/heads/feature/non-linear-real-arithmetic","pushedAt":"2024-02-15T23:35:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://github.com/avatars/u/13136968?s=80&v=4"},"commit":{"message":"WIP: CAD algorithm","shortMessageHtmlLink":"WIP: CAD algorithm"}},{"before":"2d6056febc33678a0fcdeb977a9ab86507fbfd19","after":"801d79fa6200d288976b3523e7572f18ff0f06dc","ref":"refs/heads/feature/non-linear-real-arithmetic","pushedAt":"2024-02-13T08:46:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://github.com/avatars/u/13136968?s=80&v=4"},"commit":{"message":"WIP on cylindrical algebraic decomposition","shortMessageHtmlLink":"WIP on cylindrical algebraic decomposition"}},{"before":"b1f01fcf802896289db216283a3eeda61e0c89fd","after":"2d6056febc33678a0fcdeb977a9ab86507fbfd19","ref":"refs/heads/feature/non-linear-real-arithmetic","pushedAt":"2024-02-13T02:31:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://github.com/avatars/u/13136968?s=80&v=4"},"commit":{"message":"WIP on cylindrical algebraic decomposition","shortMessageHtmlLink":"WIP on cylindrical algebraic decomposition"}},{"before":null,"after":"b1f01fcf802896289db216283a3eeda61e0c89fd","ref":"refs/heads/feature/non-linear-real-arithmetic","pushedAt":"2024-01-19T14:12:21.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://github.com/avatars/u/13136968?s=80&v=4"},"commit":{"message":"WIP: Non-Linear Real Arithmetic","shortMessageHtmlLink":"WIP: Non-Linear Real Arithmetic"}},{"before":"1bc60b767482f4f00dd7c7ab9f596fb3da1212b4","after":"b3d89fb1841ab86e04bf7db5c3cabed8f0ee4ea8","ref":"refs/heads/main","pushedAt":"2024-01-05T14:51:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://github.com/avatars/u/13136968?s=80&v=4"},"commit":{"message":"Note QF_BV in README","shortMessageHtmlLink":"Note QF_BV in README"}},{"before":"3acd9d831fcbd4391a9defde6bb91a47a91ff3c1","after":"760e6eca24e0df7820640e66e20910c7ed533bbc","ref":"refs/heads/feature/bitvector-arithmetic","pushedAt":"2024-01-05T14:46:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://github.com/avatars/u/13136968?s=80&v=4"},"commit":{"message":"Note QF_BV in README","shortMessageHtmlLink":"Note QF_BV in README"}},{"before":"45daaf0c973fe5eeb524da7506927ebf90bd63c2","after":"1bc60b767482f4f00dd7c7ab9f596fb3da1212b4","ref":"refs/heads/main","pushedAt":"2024-01-05T14:39:53.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://github.com/avatars/u/13136968?s=80&v=4"},"commit":{"message":"Add bitvector arithmetic (#5)","shortMessageHtmlLink":"Add bitvector arithmetic (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2067462698\" data-permission-text=\"Title is private\" data-url=\"https://github.com/paultristanwagner/satisfiability-checking/issues/5\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/paultristanwagner/satisfiability-checking/pull/5/hovercard\" href=\"https://github.com/paultristanwagner/satisfiability-checking/pull/5\">#5</a>)"}},{"before":"14222c6e66582cc947d5bfd692375442bfc79aea","after":"3acd9d831fcbd4391a9defde6bb91a47a91ff3c1","ref":"refs/heads/feature/bitvector-arithmetic","pushedAt":"2024-01-05T14:31:23.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://github.com/avatars/u/13136968?s=80&v=4"},"commit":{"message":"Add examples for QF_BV","shortMessageHtmlLink":"Add examples for QF_BV"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEf8FWdAA","startCursor":null,"endCursor":null}},"title":"Activity · paultristanwagner/satisfiability-checking"}