d26cc9f | TakehideSoh | 23 June 2023, 07:02:26 UTC | Merge pull request #2 from TakehideSoh/dev Typo in README | 23 June 2023, 07:02:26 UTC |
f71994e | Daniel Le Berre | 22 June 2023, 20:03:22 UTC | Fix typo | 22 June 2023, 20:03:22 UTC |
3b45819 | Daniel Le Berre | 22 June 2023, 20:02:19 UTC | Typo in README | 22 June 2023, 20:02:19 UTC |
e66d217 | TakehideSoh | 22 June 2023, 06:04:05 UTC | Merge pull request #1 from TakehideSoh/dev modify the instruction of the cadical installation | 22 June 2023, 06:04:05 UTC |
e9e82f4 | Daniel Le Berre | 21 June 2023, 06:10:44 UTC | Running example of tool paper in example directory | 21 June 2023, 06:10:44 UTC |
4b42240 | takehidesoh | 15 June 2023, 01:49:51 UTC | modify the instruction of the cadical installation | 15 June 2023, 01:49:51 UTC |
8ff4378 | takehidesoh | 01 May 2023, 02:14:54 UTC | mod README.md | 01 May 2023, 02:14:54 UTC |
339d44a | takehidesoh | 30 April 2023, 06:38:12 UTC | upload files | 30 April 2023, 06:38:12 UTC |
77d5a6a | TakehideSoh | 25 April 2023, 06:57:45 UTC | Initial commit | 25 April 2023, 06:57:45 UTC |