{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":711856837,"defaultBranch":"main","name":"CNF-Generator","ownerLogin":"SteffenHub","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-10-30T10:10:05.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/75700176?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1702571782.0","currentOid":""},"activityList":{"items":[{"before":"067d4aa623c479a64bd8d5f43cf74270a1a3e667","after":"58c77b5c15661f6844d7267b08d9bbe3d06ec651","ref":"refs/heads/main","pushedAt":"2024-07-19T13:57:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SteffenHub","name":null,"path":"/SteffenHub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75700176?s=80&v=4"},"commit":{"message":"Update README.md wrong usage of XOR","shortMessageHtmlLink":"Update README.md wrong usage of XOR"}},{"before":"b1c0ae30655b3a643335f0c0c8d0dd9c2424fd9f","after":"067d4aa623c479a64bd8d5f43cf74270a1a3e667","ref":"refs/heads/main","pushedAt":"2024-06-14T10:27:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SteffenHub","name":null,"path":"/SteffenHub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75700176?s=80&v=4"},"commit":{"message":"upload new CNF files.","shortMessageHtmlLink":"upload new CNF files."}},{"before":"74eda15bfafa02c858e67eff0bdbe27b667cf912","after":"b1c0ae30655b3a643335f0c0c8d0dd9c2424fd9f","ref":"refs/heads/main","pushedAt":"2024-06-06T13:14:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SteffenHub","name":null,"path":"/SteffenHub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75700176?s=80&v=4"},"commit":{"message":"update Readme with new Dialog.\nSet number of generate rules to 200.","shortMessageHtmlLink":"update Readme with new Dialog."}},{"before":"5e8f101cf22d1b10e8d22bdf0fa4ca782d921a22","after":"74eda15bfafa02c858e67eff0bdbe27b667cf912","ref":"refs/heads/main","pushedAt":"2024-05-13T07:48:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SteffenHub","name":null,"path":"/SteffenHub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75700176?s=80&v=4"},"commit":{"message":"Upload an example of a CNF-File.\nUpdate README.md with the new CNF-file as example and further information about installing sharpSAT","shortMessageHtmlLink":"Upload an example of a CNF-File."}},{"before":"a355c36d3864d0df2e5dbc6ce91293f79c18b7f2","after":"5e8f101cf22d1b10e8d22bdf0fa4ca782d921a22","ref":"refs/heads/main","pushedAt":"2024-03-08T12:44:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SteffenHub","name":null,"path":"/SteffenHub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75700176?s=80&v=4"},"commit":{"message":"Ask user for a seed for the random generator at the beginning of Dialog.\nsave Seed in output cnf.","shortMessageHtmlLink":"Ask user for a seed for the random generator at the beginning of Dialog."}},{"before":"79bee27faa09478d9b800f15c202ef4832e2aa60","after":"a355c36d3864d0df2e5dbc6ce91293f79c18b7f2","ref":"refs/heads/main","pushedAt":"2024-02-16T13:01:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SteffenHub","name":null,"path":"/SteffenHub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75700176?s=80&v=4"},"commit":{"message":"Added calculation time to cnf output.","shortMessageHtmlLink":"Added calculation time to cnf output."}},{"before":"9e09ee9c4b7c0731e0f33c4f1578f26813728dca","after":"79bee27faa09478d9b800f15c202ef4832e2aa60","ref":"refs/heads/main","pushedAt":"2024-01-12T08:58:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SteffenHub","name":null,"path":"/SteffenHub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75700176?s=80&v=4"},"commit":{"message":"Fixed wrong behavior, in case a rule with only one variable the number of generated rule should not change if the variance don't match the goal variance or is too small.\nAdded option to choose between 'c2d' on Windows and 'sharpSAT' on Linux.","shortMessageHtmlLink":"Fixed wrong behavior, in case a rule with only one variable the numbe…"}},{"before":"2fe8a30c2450f8fd0e67b3c148d64733c50348d5","after":"9e09ee9c4b7c0731e0f33c4f1578f26813728dca","ref":"refs/heads/main","pushedAt":"2023-12-14T23:28:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SteffenHub","name":null,"path":"/SteffenHub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75700176?s=80&v=4"},"commit":{"message":"Documentation. Renamed the temporary cnf file for c2d. After the calculation a text is displayed saying that the temporary file can be deleted. Don't use writeListOfStrings, use write ArrayOfStrings instead.","shortMessageHtmlLink":"Documentation. Renamed the temporary cnf file for c2d. After the calc…"}},{"before":"1d967f5c2c18f8d14c37d47a13d05a54269fc554","after":"2fe8a30c2450f8fd0e67b3c148d64733c50348d5","ref":"refs/heads/main","pushedAt":"2023-12-14T22:16:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SteffenHub","name":null,"path":"/SteffenHub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75700176?s=80&v=4"},"commit":{"message":"Delete input data section.","shortMessageHtmlLink":"Delete input data section."}},{"before":"4c8b6c508f42cec8d09dd4e53f600ac58a4a588a","after":"1d967f5c2c18f8d14c37d47a13d05a54269fc554","ref":"refs/heads/main","pushedAt":"2023-12-14T22:05:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SteffenHub","name":null,"path":"/SteffenHub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75700176?s=80&v=4"},"commit":{"message":"Changed project description and refer to example dialog.","shortMessageHtmlLink":"Changed project description and refer to example dialog."}},{"before":"bb3daed6e74b6bcad2c7bd80ccdb0a178b2a37a5","after":"4c8b6c508f42cec8d09dd4e53f600ac58a4a588a","ref":"refs/heads/main","pushedAt":"2023-12-14T21:48:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SteffenHub","name":null,"path":"/SteffenHub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75700176?s=80&v=4"},"commit":{"message":"Remove green text and indent.","shortMessageHtmlLink":"Remove green text and indent."}},{"before":"1ec547003e3cea2c9ae09c2b463fb5d5201f6211","after":"bb3daed6e74b6bcad2c7bd80ccdb0a178b2a37a5","ref":"refs/heads/main","pushedAt":"2023-12-14T21:44:48.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"SteffenHub","name":null,"path":"/SteffenHub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75700176?s=80&v=4"},"commit":{"message":"Add green text info to example dialog.","shortMessageHtmlLink":"Add green text info to example dialog."}},{"before":"bc5a4fc80994ca96ce2df41d04ab5e6821fd484e","after":"1ec547003e3cea2c9ae09c2b463fb5d5201f6211","ref":"refs/heads/main","pushedAt":"2023-12-14T17:13:30.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"SteffenHub","name":null,"path":"/SteffenHub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75700176?s=80&v=4"},"commit":{"message":"Fix typo.","shortMessageHtmlLink":"Fix typo."}},{"before":"b37fe8940c34137c77bbf2da92a3b7470c8150b5","after":null,"ref":"refs/heads/make_familes_optonal","pushedAt":"2023-12-14T16:36:22.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"SteffenHub","name":null,"path":"/SteffenHub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75700176?s=80&v=4"}},{"before":"07750dab4a33c4a99fe30e1d0ac82af8401299c7","after":"bc5a4fc80994ca96ce2df41d04ab5e6821fd484e","ref":"refs/heads/main","pushedAt":"2023-12-14T16:36:11.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"SteffenHub","name":null,"path":"/SteffenHub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75700176?s=80&v=4"},"commit":{"message":"Merge branch 'make_familes_optonal'\n\n# Conflicts:\n#\tsrc/Dialog.java\n#\tsrc/Operation.java","shortMessageHtmlLink":"Merge branch 'make_familes_optonal'"}},{"before":"ebace0b1baa36dec42528d606c866839bd310c77","after":"b37fe8940c34137c77bbf2da92a3b7470c8150b5","ref":"refs/heads/make_familes_optonal","pushedAt":"2023-12-14T16:17:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SteffenHub","name":null,"path":"/SteffenHub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75700176?s=80&v=4"},"commit":{"message":"Change c2d call, so trivial clauses like \"1 -1 0\" included when counting.","shortMessageHtmlLink":"Change c2d call, so trivial clauses like \"1 -1 0\" included when count…"}},{"before":"996271e82658eb53cf8d41dce013c48a90849ca2","after":"07750dab4a33c4a99fe30e1d0ac82af8401299c7","ref":"refs/heads/main","pushedAt":"2023-12-14T15:58:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SteffenHub","name":null,"path":"/SteffenHub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75700176?s=80&v=4"},"commit":{"message":"Some documentation and translation.","shortMessageHtmlLink":"Some documentation and translation."}},{"before":"996271e82658eb53cf8d41dce013c48a90849ca2","after":null,"ref":"refs/heads/Check-some-rules-sat-before-variance","pushedAt":"2023-12-08T09:04:01.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"SteffenHub","name":null,"path":"/SteffenHub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75700176?s=80&v=4"}},{"before":"50b4ff5a4285e3cf026ad3eb77c63323fd218121","after":"996271e82658eb53cf8d41dce013c48a90849ca2","ref":"refs/heads/Check-some-rules-sat-before-variance","pushedAt":"2023-12-08T09:03:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SteffenHub","name":null,"path":"/SteffenHub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75700176?s=80&v=4"},"commit":{"message":"Increase number of generate Rules to 400.\nUse 4/5 if variance check failed.\nhalve the generated rules if the variance is too low","shortMessageHtmlLink":"Increase number of generate Rules to 400."}},{"before":"64312bea263ebbdc3720435cc16ecd5b8a6db810","after":"996271e82658eb53cf8d41dce013c48a90849ca2","ref":"refs/heads/main","pushedAt":"2023-12-08T09:01:28.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"SteffenHub","name":null,"path":"/SteffenHub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75700176?s=80&v=4"},"commit":{"message":"Increase number of generate Rules to 400.\nUse 4/5 if variance check failed.\nhalve the generated rules if the variance is too low","shortMessageHtmlLink":"Increase number of generate Rules to 400."}},{"before":null,"after":"50b4ff5a4285e3cf026ad3eb77c63323fd218121","ref":"refs/heads/Check-some-rules-sat-before-variance","pushedAt":"2023-11-28T04:14:36.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"SteffenHub","name":null,"path":"/SteffenHub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75700176?s=80&v=4"},"commit":{"message":"Check some rules only with SatSolver before searching for variance. This is intended to reduce the running time.","shortMessageHtmlLink":"Check some rules only with SatSolver before searching for variance. T…"}},{"before":"e17ff33588796fcb58908be4bfab983b485924e0","after":"64312bea263ebbdc3720435cc16ecd5b8a6db810","ref":"refs/heads/main","pushedAt":"2023-11-24T07:49:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SteffenHub","name":null,"path":"/SteffenHub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75700176?s=80&v=4"},"commit":{"message":"Added check if rule is already added to ruleSet.","shortMessageHtmlLink":"Added check if rule is already added to ruleSet."}},{"before":null,"after":"ebace0b1baa36dec42528d606c866839bd310c77","ref":"refs/heads/make_familes_optonal","pushedAt":"2023-11-17T10:30:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"SteffenHub","name":null,"path":"/SteffenHub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75700176?s=80&v=4"},"commit":{"message":"First try to make families optional.\nProblem when searching for variance. All clauses are trivial and no variance is calculated.","shortMessageHtmlLink":"First try to make families optional."}},{"before":"739e78543c6ca2c44889480e178da03ab8afe671","after":"e17ff33588796fcb58908be4bfab983b485924e0","ref":"refs/heads/main","pushedAt":"2023-11-17T06:10:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SteffenHub","name":null,"path":"/SteffenHub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75700176?s=80&v=4"},"commit":{"message":"Updated Readme. Add Installation instructions abd example for a cnf.","shortMessageHtmlLink":"Updated Readme. Add Installation instructions abd example for a cnf."}},{"before":"92bea5e390786254560181c2124f206832005806","after":"739e78543c6ca2c44889480e178da03ab8afe671","ref":"refs/heads/main","pushedAt":"2023-11-17T05:29:09.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"SteffenHub","name":null,"path":"/SteffenHub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75700176?s=80&v=4"},"commit":{"message":"Add result cnf files to gitignore.","shortMessageHtmlLink":"Add result cnf files to gitignore."}},{"before":"fb759363ce4105ac8a57830ed7173499fcc80905","after":"92bea5e390786254560181c2124f206832005806","ref":"refs/heads/main","pushedAt":"2023-11-17T04:45:18.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"SteffenHub","name":null,"path":"/SteffenHub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75700176?s=80&v=4"},"commit":{"message":"Catch Timeout during SatSolver calculation.","shortMessageHtmlLink":"Catch Timeout during SatSolver calculation."}},{"before":"ce0c190ee0428c61bde49dbfd32019e1c18e5fe8","after":"fb759363ce4105ac8a57830ed7173499fcc80905","ref":"refs/heads/main","pushedAt":"2023-11-16T18:57:30.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"SteffenHub","name":null,"path":"/SteffenHub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75700176?s=80&v=4"},"commit":{"message":"Handle tried True and False vars moved to getNextRule().\nMoved all SatSolver checks to own functions.","shortMessageHtmlLink":"Handle tried True and False vars moved to getNextRule()."}},{"before":"8cf13317bc7c2e8f99dc47abd5231d4b4d4984dd","after":"ce0c190ee0428c61bde49dbfd32019e1c18e5fe8","ref":"refs/heads/main","pushedAt":"2023-11-16T18:00:03.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"SteffenHub","name":null,"path":"/SteffenHub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75700176?s=80&v=4"},"commit":{"message":"Some translation.","shortMessageHtmlLink":"Some translation."}},{"before":"f5a6ef329f933e645f5aab3cebe006cee16b5501","after":"8cf13317bc7c2e8f99dc47abd5231d4b4d4984dd","ref":"refs/heads/main","pushedAt":"2023-11-16T16:44:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SteffenHub","name":null,"path":"/SteffenHub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75700176?s=80&v=4"},"commit":{"message":"Added .iml and c2d.exe to gitignore.","shortMessageHtmlLink":"Added .iml and c2d.exe to gitignore."}},{"before":"50f160518f06fa2cdc9a6076a865403cf1e48d4e","after":"f5a6ef329f933e645f5aab3cebe006cee16b5501","ref":"refs/heads/main","pushedAt":"2023-11-16T16:06:28.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"SteffenHub","name":null,"path":"/SteffenHub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75700176?s=80&v=4"},"commit":{"message":"simplified some functionalities by creating separate functions.","shortMessageHtmlLink":"simplified some functionalities by creating separate functions."}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0xOVQxMzo1Nzo1NS4wMDAwMDBazwAAAASD-kQN","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0xOVQxMzo1Nzo1NS4wMDAwMDBazwAAAASD-kQN","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMS0xNlQxNjowNjoyOC4wMDAwMDBazwAAAAOw1XyJ"}},"title":"Activity · SteffenHub/CNF-Generator"}