Similar repositories to msoos/minisat-v1.14:

• msoos/minisat-v1.14 github similar
• binghe/HOL-CCS github similar
• hklarner/NuSMV-a github similar
• gilith/hol github similar
• marijnheule/drat-trim github similar
• binghe/informatica-public github similar
• ivmai/cudd github similar
• uclid-org/uclid github similar
• jrh13/hol-light github similar
• HOL-Theorem-Prover/HOL github similar
• polyml/polyml github similar
• kornelski/7z github similar
• MLton/mlton github similar
• CTeX-org/ctex-kit github similar
• niklasso/minisat github similar
• Reference-LAPACK/lapack github similar
• ocaml/dune github similar
• ocaml/merlin github similar
• HoTT/book github similar
• coq/coq github similar
• librosa/librosa github similar
• gitalk/gitalk github similar
• anbox/anbox github similar
• Z3Prover/z3 github similar
• deepmind/deepmind-research github similar
• NVIDIA/open-gpu-kernel-modules github similar
• kovidgoyal/calibre github similar
• llvm/llvm-project github similar
• google/jax github similar
• servo/servo github similar
• microsoft/calculator github similar
• huggingface/transformers github similar
• pytorch/pytorch github similar
• trimstray/the-book-of-secret-knowledge github similar
• microsoft/PowerToys github similar
• microsoft/terminal github similar
• ytdl-org/youtube-dl github similar
• torvalds/linux github similar