fpottier/ogre
1
2
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
No description
326 commits 1 branch 0 tags 419 KiB
  • OCaml 95.1%
  • Makefile 4.5%
  • Dune 0.4%
Find a file
Exact
François Pottier 81d0501271 Update FlatUnionFind.
2025-11-27 17:32:07 +01:00
benchmark Benchmark [union] and [find]. 2024-09-21 18:29:01 +02:00
src Update FlatUnionFind. 2025-11-27 17:32:07 +01:00
test Use Grenier.Congre as a reference implementation while testing CongruenceClosure. 2024-12-08 11:04:48 +01:00
.gitignore Project creation. 2024-04-27 14:48:32 +02:00
dune-project dune-project 2025-11-27 17:32:02 +01:00
headache.config Update [make headache]. 2024-09-21 13:45:35 +02:00
header.txt Update [make headache]. 2024-09-21 13:45:35 +02:00
LICENSE.txt Update dune-project and add LICENSE. 2024-09-20 08:17:27 +02:00
Makefile Trivial changes in Makefile 2025-11-27 17:31:47 +01:00
play.ml Set up the tests so that the scenarios discovered by Monolith 2024-05-05 23:02:57 +02:00
TODO.md TODO. 2025-11-27 17:32:00 +01:00