Similar repositories to motib/LearnSAT:

• motib/LearnSAT github similar
• danistefanovic/build-your-own-x github similar
• psrenergy/QUBOTools.jl github similar
• powerpointers/powerpointers.github.io github similar
• psrenergy/ToQUBO.jl github similar
• psrenergy/Anneal.jl github similar
• lanl-ansi/QuantumAnnealing.jl github similar
• VectorInstitute/VariationalNeuralAnnealing github similar
• joehuchette/PiecewiseLinearOpt.jl github similar
• simply-logical/simply-logical github similar
• mitmath/18337 github similar
• dtonhofer/prolog_notes github similar
• vangelisv/thea github similar
• xijunlee/Learning-to-Optimize-Arxiv github similar
• Attempto/APE github similar
• lispbuilder/lispbuilder github similar
• metagol/metagol github similar
• LAMPSPUC/StateSpaceModels.jl github similar
• LPCIC/elpi github similar
• ML-KULeuven/problog github similar
• MichelDeudon/neural-combinatorial-optimization-rl-tensorflow github similar
• mmaul/clml github similar
• ds4dm/learn2branch github similar
• mveres01/pytorch-drl4vrp github similar
• elixir-ecto/db_connection github similar
• SMPyBandits/SMPyBandits github similar
• ueberauth/guardian_db github similar
• yuce/pyswip github similar
• Hanjun-Dai/graph_comb_opt github similar
• SWI-Prolog/swish github similar
• pemami4911/neural-combinatorial-rl-pytorch github similar
• SWI-Prolog/swipl-devel github similar
• jwbuurlage/category-theory-programmers github similar
• RLBot/RLBot github similar
• wouterkool/attention-learn-to-route github similar
• openai/procgen github similar
• matterhorn-chat/matterhorn github similar
• jump-dev/JuMP.jl github similar
• JuliaPy/PyCall.jl github similar
• cmu-sei/pharos github similar