Similar repositories to alexeyignatiev/minds:

• alexeyignatiev/minds github similar
• alexeyignatiev/xreason github similar
• andrewli77/DISC github similar
• QuMuLab/python-nnf github similar
• liffiton/minicard github similar
• potassco-asp-course/course github similar
• lvhimabindu/interpretable_decision_sets github similar
• azreasoners/NeurASP github similar
• conp-solutions/mergesat github similar
• lonsing/depqbf github similar
• przemyslawjanpietrzak/pyMonet github similar
• wannesm/PySDD github similar
• andrew-bedford/coqatoo github similar
• erohkohl/mlsolver github similar
• Jimmy-Lin/GeneralizedOptimalSparseDecisionTrees github similar
• potassco/guide github similar
• sat-group/open-wbo github similar
• marcotcr/anchor-experiments github similar
• arthurpaulino/lean4-metaprogramming-book github similar
• plumerai/rethinking-bnn-optimization github similar
• BioDynaMo/biodynamo github similar
• arminbiere/satch github similar
• stanford-centaur/smt-switch github similar
• uclnlp/ntp github similar
• equialgo/fairness-in-ml github similar
• lsils/mockturtle github similar
• algofairness/BlackBoxAuditing github similar
• philzook58/z3_tutorial github similar
• CPMpy/cpmpy github similar
• tulip-control/dd github similar
• pysathq/pysat github similar
• logictensornetworks/logictensornetworks github similar
• executablebooks/mdformat github similar
• awjuliani/dfp github similar
• openjournals/joss-papers github similar
• NeuralNetworkVerification/Marabou github similar
• opencobra/optlang github similar
• arminbiere/cadical github similar
• macoj/phd github similar
• cjdrake/pyeda github similar