114 Open source projects that are alternatives of or similar to clpsmt-miniKanren

pySMT: A library for SMT formulae manipulation and solving

A Declarative Theorem Prover for First-Order Classical Logic

SnapKit的扩展,SnapKit类似于Masonry,但是其没有对Arry的设置和对等间距排列的布局等,此扩展是类似Masonry的写法对SnapKit的补充,同时补充九宫格布局方式

A targeted input generator for Android that improves the effectiveness of dynamic malware analysis.

Generate ActiveRecord models for a pre-existing Postgres db

A simple (unfinished) SMT solver for QF_ABV.

Write constraints in a concise, expressive, Swifty way.

An extensible, lightweight relational/logic programming DSL written in pure Python

Flexbox & CSS-style Layout in Swift.

Introduction to modern Prolog

An open-source Java library for Constraint Programming

Feature flags on steroids!

Conjure: The Automated Constraint Modelling Tool

Constraint Logic Programming over Finite Domains

Targoman SMT framework source code

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

prototyping logic programming in Scala

parsing postgres errors

🍦 Simplified and chainable AutoLayout constraints for iOS.

TangramKit is a powerful iOS UI framework implemented by Swift. It integrates the functions with Android layout,iOS AutoLayout,SizeClass, HTML CSS float and flexbox and bootstrap. So you can use LinearLayout,RelativeLayout,FrameLayout,TableLayout,FlowLayout,FloatLayout,LayoutSizeClass to build your App 自动布局 UIView UITableView UICollectionView

An embedding of miniKanren in Shen.

Database constraints made easy for ActiveRecord.

A Python API for the MiniSat and MiniCard constraint solvers.

Applies a patch from a local or remote file to any package that is part of a given composer project. Patches can be defined both on project and on package level. Optional support for patch versioning, sequencing, custom patch applier configuration and composer command for testing/troubleshooting patches.

MyLayout is a powerful iOS UI framework implemented by Objective-C. It integrates the functions with Android Layout,iOS AutoLayout,SizeClass, HTML CSS float and flexbox and bootstrap. So you can use LinearLayout,RelativeLayout,FrameLayout,TableLayout,FlowLayout,FloatLayout,PathLayout,GridLayout,LayoutSizeClass to build your App 自动布局 UIView UITab…

An easy way to create and layout UI components for iOS.

TypeScript Declarative Validation for Joi

This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.

Auto Layout made easy

Add database table-level constraints to your Django model's Meta

Embeddable Lambda Prolog Interpreter

A simple way to use programmatically Autolayout Constraint created in Storyboard.

Simple form validation for React

Driftwood is a DSL to make Auto Layout easy on iOS, tvOS and macOS.

An Impressive Auto Layout DSL for iOS, tvOS & OSX. & It is written in pure swift.

a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.

Constraint-based layout manager for GTK+

The PHP pragmatic forms library

protoc plugin to generate polyglot message validators

A Python Library for modeling combinatorial constrained problems

A python Linear Programming API

Validator for SQLAlchemy Models

Transactional SQL based RDBMS with sophisticated multi table constraint logic.

Rust implementation of µKanren, a featherweight relational programming language.

RBDL - Rigid Body Dynamics Library - ORB Version - The two main differences to the original rbdl is that this version has error handling and uses polymorphism for constraints

Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.

Flexible type system for Ruby with coercions and constraints

[Sketch Plugin] Sketch-flavored Auto Layout-like Constraints

Work with Semantic Versions in Go

Super puper duper mega easy awesome wrapper over auto layout!!111!!1!!!1!!!11111!!!1!!

⚓️ Declarative, extensible, powerful Auto Layout

Open source replacement of UIStackView for iOS 8 (100% layouts supported)

📐 A set of custom layouts for UICollectionView with examples [Swift 5.3, iOS 12].

Postgresql constraints in migrations similiar to ActiveRecord validations

Nothing but sugar.

AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.

General meta-Heuristic Optimization Solving Toolkit

Transpiler of Python to many other languages

This plugin allows you to configure email notifications for build results

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.