Pinned Loading

1. croiseur croiseur Public

   A crossword generation tool - Read-only mirror of https://gitlab.com/super7ramp/croiseur

   Java 4

2. croissant croissant Public

   A crossword solver backed by various SAT solvers

   Rust

3. eternity2-solver eternity2-solver Public

   A solver for (reduced versions of) the Eternity II puzzle

   Java

4. sudoku4j sudoku4j Public

   An example of Sudoku solver using Sat4j library.

   Java

5. faulty faulty Public

   An instrumentation agent which injects faults in Java applications

   Java

6. zypper-triage-updates zypper-triage-updates Public

   A zypper subcommand to triage system updates

   Awk