Popular repositories Loading

1. IC3ref IC3ref Public

   IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.

   C++ 56 19

2. PaleoUtil PaleoUtil Public

   Exploratory code for paleo purposes.

   Python

3. ScaleAnalysis ScaleAnalysis Public

   Prototype statistical analysis for determining whether a given mosaic (e.g., a dinosaur skin impression) is likely the result of a Voronoi process

   Python