300 Open source projects that are alternatives of or similar to Pysmt

Verification framework and tool for higher-order Scala programs

Automatic verification of LLVM optimizations

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

"SAT/SMT by example" free ebook

Liquid Types For Haskell

Simple Theorem Prover, an efficient SMT solver for bitvectors

A Proof-oriented Programming Language

CLP(SMT) on top of miniKanren

SMACK Software Verifier and Verification Toolchain

An easier and faster way to code Autolayout

Links to tools by subject

Static checker for Java

Static verification tool for DNS zone files

Job Scheduler for IOS with Concurrent run, failure/retry, persistence, repeat, delay and more

Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.

🍃 Concise Autolayout code

A Modeling and Verification Platform for SoCs using ILAs

Package verifier provides simple defensive programing primitives.

It's a smart KeyBoard manager with active text field using Scroll View along with Constraints in Objective C & Swift 4

📏 A plugin that integrates constraints in Sketch to lay out layers.

Steam integration for TeamSpeak 3

Jace.NET is a calculation engine for the .NET platform.

Intuitive and powerful Auto Layout library

Information to reproduce results from SV-COMP (MOVED, please follow the link)

Kani Rust Verifier

The VerCors verification toolset for verifying parallel and concurrent software

Create PNG Images from LaTeX Formulas

Definition of the Viper intermediate verification language.

Concuerror is a stateless model checking tool for Erlang programs.

React Native wrapper for Android's SMS User Consent API, ready to use in React Native apps with minimum effort.

A static verifier for Rust, based on the Viper verification infrastructure.

Safety Verification of Deep Neural Networks

An easy way to create and layout UI components for iOS (Swift version).

TLA+ language support for Visual Studio Code

.NET library for rendering mathematical formulae using the LaTeX typsetting style, for the WPF framework

🌘 formula ui generator

SeaHorn Verification Framework

Online SemVer Checker

gophersat, a SAT solver in Go

Kryptonite for Kafka is a client-side 🔒 field level 🔓 crypto library for Apache Kafka® currently focused on Kafka Connect scenarios. It's an ! UNOFFICIAL ! community project

Typed struct and value objects

Lightweight Swift framework for Apple's Auto-Layout

A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.

A Go library that implements a Sparse Merkle tree for a key-value map.

A Framework for Deep Neural Network Verification

Beautiful, easy attributed strings in Swift

Awesome ASIC design verification

Android view for providing blocks (Edit Texts) to achieve verification process.

@Homebrew tap for @adobe apps and plugins.

Microsoft Word VSTO Add-In，可以插入带编号的公式和代码

A Swift Autolayout DSL for iOS & OS X

A boilerplate for Node.js apps / GraphQL-API / Authentication from scratch - express, graphql - (graphql compose), mongodb (mongoose).

File systems verification utility and library, in likeness of mtree(8)

The Java SDK for interacting with the Yoti Platform

Fingerprint is a simple tool that can be used to verify the contents of a directory.

A Ruby-based expression parser, evaluator, and programming language

简单的滑动验证码JS插件 图片验证码

Ruby interface to IEEE 1364-2005 Verilog VPI

KreMLin is a tool for extracting low-level F* programs to readable C code

WordPress testing plugin