Alternatives and similar repositories for SOURCES

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

• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆24Updated last week
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆35Updated last year
• suyjuris / obst
  Online BDD Simulation Tool
  ☆18Updated 3 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 6 months ago
• rewriting / tom
  ☆34Updated 4 years ago
• jahierwan / lustre-examples
  Some Lustre program examples
  ☆21Updated 6 years ago
• ths-rwth / smtrat
  ☆52Updated 2 weeks ago
• SWI-Prolog / sCASP
  Top-down interpreter for ASP programs with Constraints
  ☆31Updated 5 months ago
• GaloisInc / HARDENS
  Repository for the HARDENS project
  ☆23Updated 5 months ago
• motib / LearnSAT
  SAT solver for education
  ☆26Updated 2 years ago
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated 2 years ago
• kovach / etch
  ☆17Updated 11 months ago
• AdaCore / why3
  SPARK 2014 repository for the Why3 verification platform.
  ☆30Updated this week
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• fadoss / umaudemc
  Unified Maude model-checking tool
  ☆11Updated 4 months ago
• ridgeworks / clpBNR
  CLP(BNR) module for SWI-Prolog
  ☆43Updated this week
• fadoss / maude-bindings
  Language bindings for Maude
  ☆23Updated 4 months ago
• VERIMAG-Polyhedra / VPL
  Verimag Polyhedra Library
  ☆18Updated last month
• vscosta / yap
  ☆52Updated last month
• lip6 / libDDD
  Library for Data Decision Diagrams and Set Decision Diagrams
  ☆14Updated last month
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆68Updated 2 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• acsl-language / acsl
  Sources for the ANSI/ISO C Specification Language manual
  ☆57Updated last month
• FredMesnard / lptp
  LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 90's
  ☆11Updated last year
• wimmers / munta
  Fully verified model checker for realtime systems
  ☆16Updated 2 years ago
• koehlma / momba
  A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
  ☆19Updated 9 months ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 11 months ago
• ciao-lang / ciaopp
  The Ciao Preprocessor
  ☆11Updated 5 months ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆66Updated last month
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆48Updated 6 months ago