Alternatives and similar repositories for AutoFisher-SV

Users that are interested in AutoFisher-SV are comparing it to the libraries listed below

• chc-comp / chc-tools
  Tools for manipulating CHC and related files
  ☆15Updated 2 years ago
• cryer / monte-carlo-tree-search
  Simple Game with Monte Carlo Tree Search
  ☆59Updated 7 years ago
• BigRedDoge / Deepwatch
  Overwatch environment for training an AI to play
  ☆12Updated 11 months ago
• alexdriedger / SlayTheSpireFightPredictor
  Machine learning in Slay the Spire to predict fight outcomes and evaluate cards. Available on the Steam Workshop!
  ☆32Updated 5 years ago
• markusa4 / dejavu
  fast probabilistic symmetry detection on graphs
  ☆15Updated last week
• jar-ben / mustool
  ☆15Updated 2 years ago
• act3-ace / SafeRL
  ☆29Updated last year
• wenxiwang / neuroback
  ☆10Updated 8 months ago
• hadarshavit / revisiting_satzilla
  SATZilla SAT feature extraction tool
  ☆11Updated last year
• fraleo / OMTPlan
  A python framework for Optimal Planning Modulo Theories
  ☆11Updated last year
• shaowei-cai-group / EasySAT
  A Simple CDCL Solver
  ☆30Updated 2 years ago
• mgudemann / iimc
  ☆14Updated 7 years ago
• RafaelTupynamba / GuidedSampler
  GuidedSampler: Coverage-guided Sampling of SMT Solutions
  ☆12Updated 2 months ago
• JKomp / AIGER
  Python version of tools to work with AIG formatted files
  ☆12Updated 4 months ago
• mohdomama / Quine-McCluskey
  A Python/C++ implementation of Quine McCluskey(Tabulation) method.
  ☆12Updated 7 years ago
• sysu-eda / DeepRL-Scheduling
  A Deep-Reinforcement-Learning-Based Scheduler for FPGA HLS
  ☆15Updated 4 years ago
• Cheedoong / ust-beamer
  The HKUST LaTeX Beamer Template
  ☆10Updated 10 years ago
• haiguanl / GlobalRoutingProblemGenerator
  Benchmark Generator for Global Routing
  ☆12Updated 6 years ago
• jesse-michael-han / neuro-cadical
  CaDiCaL + neural glue variable predictions
  ☆10Updated 4 years ago
• ZYunfeii / DRL4SnakeGame
  Using deep reinforcement learning to play Snake game(贪吃蛇).
  ☆81Updated 4 years ago
• shaowei-cai-group / ParKissat-RS
  Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)
  ☆25Updated 2 years ago
• mishmashclone / wcventure-FuzzingPaper
  https://github.com/wcventure/FuzzingPaper
  ☆10Updated 3 years ago
• panhomyoung / phySAT
  Semi-Tenser Product based SAT and AllSAT solver, where it can solve CNF and circuit input.
  ☆17Updated 2 years ago
• Onixaz / GTA5-AI-Playground
  My take on GTA5 self driving cars.
  ☆13Updated 6 years ago
• yaohsiaopid / rtl2uspec
  ☆11Updated 2 months ago
• pddenhar / Z3-IC3-PDR
  Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.
  ☆16Updated 9 years ago
• UCSBarchlab / owl
  Control Logic Synthesis: Drawing the Rest of the OWL
  ☆13Updated last year
• lijwen2748 / simplecar
  ☆15Updated 2 years ago
• hsahovic / reinforcement-learning-pokemon-bot
  AI-powered pokemon bot on showdown
  ☆13Updated 5 years ago
• MarkusRabe / cadet
  A fast and certifying solver for quantified Boolean formulas.
  ☆26Updated 4 months ago