Popular repositories Loading

1. python-classtools python-classtools Public

   Decorator library for classes, inspired by functools

   Python 1

2. jquery-ui jquery-ui Public

   Forked from jquery/jquery-ui

   The official jQuery user interface library.

   JavaScript

3. minisat minisat Public

   Forked from niklasso/minisat

   My experimental fork of minisat to keep "Glue" clauses

   C++

4. PDRplan PDRplan Public

   Forked from quickbeam123/PDRplan

   An automated planner based on the Property Directed Reachability algorithm

   C

5. LAPKT-public LAPKT-public Public

   Forked from LAPKT-dev/LAPKT-public

   LAPKT public repository

   C++

6. MaxHS MaxHS Public

   Forked from fbacchus/MaxHS

   MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus

   C++