Recent news about SAT for tag Tools

 

  • Jun 6, 2016  HBench - A new GUI-based platform on Windows for performance benchmarking by Ofer Strichman Tools 

    HBench provides a simple one-form GUI for managing performance-oriented research of algorithms. It runs your engine over a set of benchmarks with multiple parameter sets, collects statistics into a csv file, prepares scatter/cactus plots, lets the user control the active cores, and much more. It supports both remote execution on a linux cluster and running on a local windows machine. It makes the whole benchmarking process much easier.
  • Feb 28, 2015  Savile Row 1.6.2 Released with SAT backend by Daniel Le Berre Tools 

    The main change in 1.6.2 is the addition of the SAT backend. The first iteration of this feature was written by Patrick Spracklen as a summer student project. All constraints in the language have a SAT encoding. MiniSat and Lingeling are fully supported as backend solvers: 1.6.2 can run them, parse the solution and collect some statistics from the solver.

Our scientific association

The SAT association

Our annual conference

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

February 4, 2019
SAT'19 workshop proposal
February 4, 2019
PostDocs @ KTH
February 7, 2019
Positions@AaltoU
March 1, 2019
ICCMA'19
March 1, 2019
SAT'19 (abstract)
March 8, 2019
SAT'19 Call for Papers
March 15, 2019
VCLA Int. Student Award
May 10, 2019
CP'19
November 30, 2019
Helmut Veith Stipend

SAT related books