Skip to content

History

Revisions

  • Up to the standards.

    @uhop uhop committed Jul 13, 2026
    b67c049

  • Style fixes.

    @uhop uhop committed Jul 13, 2026
    bbc12d9

  • Added more docs.

    @uhop uhop committed May 11, 2026
    aeeab02

  • Fixed stale info.

    @uhop uhop committed May 11, 2026
    5df3678

  • Updated docs + release notes.

    @uhop uhop committed May 11, 2026
    aa781d3

  • Updated docs.

    @uhop uhop committed May 9, 2026
    376bdb7

  • Updated home.

    @uhop uhop committed May 9, 2026
    28a7a25

  • Updated docs.

    @uhop uhop committed May 8, 2026
    880ba77

  • Added shields.

    @uhop uhop committed May 8, 2026
    598fa20

  • Style fix.

    @uhop uhop committed Apr 7, 2026
    a18f454

  • Better documented solvers.

    @uhop uhop committed Apr 7, 2026
    dcb8775

  • Renamed wiki pages.

    @uhop uhop committed Apr 7, 2026
    9f33ab6

  • Improved docs of rules and predicates.

    @uhop uhop committed Apr 6, 2026
    3f1946d

  • Documented modules.

    @uhop uhop committed Apr 6, 2026
    9ee4480

  • Updated Home (markdown)

    @uhop uhop committed Nov 6, 2020
    4521687

  • Updated TODO (markdown)

    @uhop uhop committed Nov 6, 2020
    5e0fb46

  • Updated Home (markdown)

    @uhop uhop committed Nov 1, 2020
    6cbb16c

  • Created TODO (markdown)

    @uhop uhop committed Nov 1, 2020
    1ae047a

  • Initial Home page

    @uhop uhop committed Nov 1, 2020
    626ea5b