| ca7b768 | Lonca Emmanuel | 18 March 2024, 08:26:53 UTC | updated README | 18 March 2024, 08:26:53 UTC |
| be72d67 | Lonca Emmanuel | 06 December 2023, 14:51:48 UTC | fixed drastic distance | 06 December 2023, 14:51:48 UTC |
| f7a5fdb | Lonca Emmanuel | 06 December 2023, 14:51:17 UTC | added more debug messages | 06 December 2023, 14:51:17 UTC |
| 93ece8d | Lonca Emmanuel | 06 December 2023, 08:17:07 UTC | Merge branch 'master' of https://gitlab.univ-artois.fr/crusti_bat/crusti_bat | 06 December 2023, 08:17:07 UTC |
| b58fcf7 | Lonca Emmanuel | 04 December 2023, 15:55:12 UTC | some refactoring + improved doc | 06 December 2023, 08:15:31 UTC |
| 0b8fd33 | Lonca Emmanuel | 04 December 2023, 15:56:24 UTC | Added LICENSE | 04 December 2023, 15:56:24 UTC |
| cb30b34 | Lonca Emmanuel | 04 December 2023, 15:55:12 UTC | some refactoring + improved doc | 04 December 2023, 15:55:12 UTC |
| 9c55d4e | Lonca Emmanuel | 04 December 2023, 12:49:57 UTC | reduced visibility of several structures | 04 December 2023, 12:59:59 UTC |
| f097ff1 | Lonca Emmanuel | 04 December 2023, 11:28:47 UTC | changed pblib-rs source to crates.io | 04 December 2023, 11:28:47 UTC |
| efbe417 | emmanuel lonca | 27 November 2023, 10:52:13 UTC | implemented belief revision | 27 November 2023, 10:52:13 UTC |
| 0f37a68 | Lonca Emmanuel | 23 November 2023, 14:10:45 UTC | implemented a reader for revision instances | 23 November 2023, 14:10:45 UTC |
| 096dafb | Lonca Emmanuel | 22 November 2023, 11:34:38 UTC | some refactoring | 22 November 2023, 11:34:38 UTC |
| 0e143db | Lonca Emmanuel | 22 November 2023, 11:21:12 UTC | implemented leximin aggregator | 22 November 2023, 11:21:12 UTC |
| daf8f1f | Lonca Emmanuel | 22 November 2023, 10:53:18 UTC | improved leximax display | 22 November 2023, 10:53:18 UTC |
| 8016bbf | Lonca Emmanuel | 22 November 2023, 10:25:16 UTC | implemented leximax aggregator | 22 November 2023, 10:25:16 UTC |
| e3b7811 | Lonca Emmanuel | 18 September 2023, 12:42:37 UTC | refactored the usage of MaxSAT solvers | 18 September 2023, 13:49:54 UTC |
| abbce67 | Lonca Emmanuel | 11 September 2023, 15:33:02 UTC | fixed an issue with weighted sum aggregation | 11 September 2023, 15:33:02 UTC |
| c38f098 | Lonca Emmanuel | 11 September 2023, 14:29:06 UTC | fixed an issue with sum enforcement | 11 September 2023, 14:29:06 UTC |
| 4d0848b | Lonca Emmanuel | 11 September 2023, 13:31:27 UTC | a relative path can now be given for the maxsat solver | 11 September 2023, 13:31:27 UTC |
| 4b5e495 | emmanuel lonca | 08 September 2023, 10:35:56 UTC | fixed an issue with external MaxSAT solver output parsing | 08 September 2023, 15:32:48 UTC |
| 62eb9f0 | emmanuel lonca | 08 September 2023, 10:05:24 UTC | removed unnecessary function calls | 08 September 2023, 15:32:37 UTC |
| 803e890 | emmanuel lonca | 13 June 2023, 14:18:42 UTC | some refactoring | 13 June 2023, 14:18:42 UTC |
| 5c8acf3 | Lonca Emmanuel | 24 May 2023, 14:34:45 UTC | CNF can now be output to a file instead of stdout | 24 May 2023, 14:34:45 UTC |
| d7ba435 | Lonca Emmanuel | 24 May 2023, 13:42:39 UTC | added the hamming distance | 24 May 2023, 13:42:39 UTC |
| ad26eb7 | emmanuel lonca | 23 May 2023, 14:02:11 UTC | added an app with CNF merging capabilities | 23 May 2023, 14:02:11 UTC |
| 4a99e44 | emmanuel lonca | 23 May 2023, 14:00:09 UTC | added a writer for recent MaxSAT solvers | 23 May 2023, 14:00:09 UTC |
| 0501945 | emmanuel lonca | 23 May 2023, 13:57:45 UTC | added an encoder for sum aggregation | 23 May 2023, 13:57:45 UTC |
| 2908213 | emmanuel lonca | 23 May 2023, 13:55:24 UTC | refactored I/O structures | 23 May 2023, 13:55:24 UTC |
| 90f42ba | emmanuel lonca | 23 May 2023, 13:45:31 UTC | updated encoders | 23 May 2023, 13:51:37 UTC |
| 1955c4d | Lonca Emmanuel | 06 April 2023, 14:42:35 UTC | refactored DIMACS CNF readers/writers | 06 April 2023, 14:43:55 UTC |
| c018198 | Lonca Emmanuel | 06 April 2023, 14:24:01 UTC | added a parser for the legacy DIMACS CNF merging instances | 06 April 2023, 14:25:32 UTC |
| edd9439 | Lonca Emmanuel | 06 April 2023, 14:22:09 UTC | refactored CNF formulas | 06 April 2023, 14:22:09 UTC |
| b3fe8c2 | Lonca Emmanuel | 05 April 2023, 14:18:38 UTC | implemented the drastic distance encoding | 05 April 2023, 14:18:38 UTC |
| 6db900e | emmanuel lonca | 04 April 2023, 15:00:32 UTC | added encoding for discrepancy variables | 04 April 2023, 15:00:32 UTC |
| 66f2373 | emmanuel lonca | 04 April 2023, 12:25:28 UTC | initial commit | 04 April 2023, 12:25:28 UTC |
