Popular repositories Loading

1. minisat minisat Public

   Forked from niklasso/minisat

   A minimalistic and high-performance SAT solver

   C++

2. kodkod kodkod Public

   Forked from msakai/kodkod

   Personal mirror of http://alloy.mit.edu/kodkod/

   Java

3. mcl mcl Public

   Forked from niklasso/mcl

   Simple circuit library for MiniSat

   C++

4. sharelatex sharelatex Public

   Forked from overleaf/overleaf

   A web-based collaborative LaTeX editor

   Ruby

5. dict_build dict_build Public

   Forked from sing1ee/dict_build

   自动构建中文词库：build dict from large chinese text using unsupervised method，algorithm：http://www.matrix67.com/blog/archives/5044

   Java