Similar repositories to newca12/ocaml-atp:

• newca12/ocaml-atp github similar
• newca12/scala-atp github similar
• tyler-utah/PBDD github similar
• liffiton/PyMiniSolvers github similar
• lonsing/depqbf github similar
• wannesm/PySDD github similar
• ZhengyaoJiang/NLRL github similar
• exercism/ocaml github similar
• tulip-control/dd github similar
• ztangent/Julog.jl github similar
• TikhonJelvis/RL-book github similar
• coverdrive/MDP-DP-RL github similar
• akabe/ocaml-jupyter github similar
• pysathq/pysat github similar
• c-cube/qcheck github similar
• leanprover-community/lean github similar
• pysmt/pysmt github similar
• cpnota/autonomous-learning-library github similar
• emina/rosette github similar
• cvc5/cvc5 github similar
• openai/procgen github similar
• niklasso/minisat github similar
• bartdag/py4j github similar
• chainer/chainerrl github similar
• leanprover-community/mathlib github similar
• stevenhalim/cpbook-code github similar
• ZhengyaoJiang/PGPortfolio github similar
• jozefg/learn-tt github similar
• leanprover/lean4 github similar
• dafny-lang/dafny github similar
• mgbellemare/Arcade-Learning-Environment github similar
• google/neural-tangents github similar
• git/git-scm.com github similar
• astooke/rlpyt github similar
• dabeaz/ply github similar
• ocaml-community/awesome-ocaml github similar
• microsoft/EconML github similar
• suragnair/alpha-zero-general github similar
• deepmind/trfl github similar
• hill-a/stable-baselines github similar