Alternatives and similar repositories for EvalMaxSAT

Users that are interested in EvalMaxSAT are comparing it to the libraries listed below

• jezberg / loandra

  View on GitHub
  The anytime MaxSAT solver Loandra
  ☆20Jun 5, 2025Updated 8 months ago
• limo1996 / SAT-Solver

  View on GitHub
  Parallel SAT Solver
  ☆10Jan 19, 2018Updated 8 years ago
• AI-Planning / lifted-pddl

  View on GitHub
  A lightweight framework for the efficient parsing and manipulation of PDDL in lifted form.
  ☆17Dec 17, 2025Updated last month
• pddenhar / Z3-IC3-PDR

  View on GitHub
  Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.
  ☆18Apr 30, 2016Updated 9 years ago
• y-t-bot / opensea-instant-outbidder-bidding-bot

  View on GitHub
  Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…
  ☆100Jan 17, 2023Updated 3 years ago
• sat-group / open-wbo

  View on GitHub
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆77Nov 19, 2023Updated 2 years ago
• munich-quantum-toolkit / qusat

  View on GitHub
  MQT QuSAT - Using Satisfiability Testing (SAT) Techniques for Encoding Quantum Computing
  ☆27Updated this week
• agurfinkel / btor2mlir

  View on GitHub
  BTOR2 MLIR project
  ☆26Jan 17, 2024Updated 2 years ago
• tqec / topologiq

  View on GitHub
  Quantum computing > Algorithmic lattice surgery.
  ☆49Updated this week
• shaowei-cai-group / ParKissat-RS

  View on GitHub
  Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)
  ☆25Dec 6, 2022Updated 3 years ago
• binsec / klee21-tina-artifact

  View on GitHub
  TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…
  ☆29Jul 7, 2021Updated 4 years ago
• ABKGroup / TritonRoute-WXL

  View on GitHub
  ☆36Nov 3, 2020Updated 5 years ago
• rettigs / clonaria

  View on GitHub
  A Terraria clone in Python, just for fun
  ☆10Jun 7, 2020Updated 5 years ago
• conp-solutions / mergesat

  View on GitHub
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Nov 20, 2023Updated 2 years ago
• dhanak / TidyTest.jl

  View on GitHub
  An `AbstractTestSet` implementation and a helper macro for test execution with auto discovery and a neater test summary.
  ☆11Dec 6, 2024Updated last year
• sbravyi / symmetric_group_characters

  View on GitHub
  Matrix Product State algorithm for computing characters of the symmetric group S_n
  ☆11Sep 26, 2025Updated 4 months ago
• SmnTin / lincheck

  View on GitHub
  A linearizability checker for concurrent data structures
  ☆12Aug 3, 2023Updated 2 years ago
• kristoferB / SP

  View on GitHub
  Sequence Planner
  ☆12Nov 17, 2017Updated 8 years ago
• iscar-ucm / xdevs

  View on GitHub
  xDEVS: A cross-platform Discrete EVent System simulator
  ☆14Nov 14, 2025Updated 3 months ago
• tzanis-anevlavis / cis2m

  View on GitHub
  Controlled Invariant Sets in Two Moves
  ☆14Dec 21, 2021Updated 4 years ago
• Ima96 / BPOTF

  View on GitHub
  A decoding algorithm for quantum error correcting codes.
  ☆16Updated this week
• CoriolisSP / FuzzBtor2

  View on GitHub
  Random Generator of Btor2 Files
  ☆10Sep 2, 2023Updated 2 years ago
• berkeley-abc / mvsis

  View on GitHub
  A copy of the latest version of MVSIS
  ☆12Apr 18, 2021Updated 4 years ago
• adelshb / graphqec

  View on GitHub
  A library for analyzing Quantum Error Correction Codes from their Tanner Graphs.
  ☆14Aug 23, 2025Updated 5 months ago
• GiggleLiu / tutorial-tensornetwork

  View on GitHub
  A tutorial on simulating quantum circuits and quantum error correction with tensor networks
  ☆20Sep 20, 2025Updated 4 months ago
• kalmarek / SymbolicWedderburn.jl

  View on GitHub
  Amazing package to compute decompositions into irreducibles of explicit group representations and the Wedderburn decomposition for endomo…
  ☆12Dec 22, 2025Updated last month
• b-vanstraaten / QArray

  View on GitHub
  QArray - a GPU accelerated constant capacitance simulator for quantum dots
  ☆12Jan 19, 2026Updated 3 weeks ago
• lanl / c2dwave

  View on GitHub
  Translate a subset of C to Verilog
  ☆11May 8, 2019Updated 6 years ago
• usi-verification-and-security / golem

  View on GitHub
  Solver for Constrained Horn Clauses
  ☆50Feb 6, 2026Updated last week
• input-output-hk / armadillo

  View on GitHub
  Declarative, type-safe json-rpc endpoints library
  ☆10Sep 26, 2023Updated 2 years ago
• tomabou / cpu_core

  View on GitHub
  ☆10Oct 23, 2019Updated 6 years ago
• prismmodelchecker / prism-benchmarks

  View on GitHub
  The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking…
  ☆11Mar 12, 2025Updated 11 months ago
• fm-polimi / zot

  View on GitHub
  The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)
  ☆10Jan 11, 2021Updated 5 years ago
• golems / motion-grammar-kit

  View on GitHub
  Formal Language Tools for Robots
  ☆15Jun 29, 2016Updated 9 years ago
• lbliek / MVRSM

  View on GitHub
  MVRSM algorithm for optimising mixed-variable expensive cost functions.
  ☆12Mar 17, 2025Updated 10 months ago
• hideo54 / userscripts

  View on GitHub
  Custom JS and CSS made by hideo54.
  ☆10Sep 22, 2022Updated 3 years ago
• seokhyung-lee / OptGraphState

  View on GitHub
  Graph-theoretical optimization of fusion-based graph state generation
  ☆10Jun 4, 2025Updated 8 months ago
• haimengzhao / g-qpca

  View on GitHub
  Quantum Principal Component Analysis (QPCA) as a generative model
  ☆14Apr 5, 2022Updated 3 years ago
• KimMeen / STGCN

  View on GitHub
  A PyTorch implementation of the paper https://arxiv.org/abs/1709.04875
  ☆10Jul 22, 2020Updated 5 years ago