Set of docker compose examples for Laravel framework

Set of docker compose examples for Laravel framework

Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)

DPMC/ProCount is a dynamic-programming framework for exact weighted (projected) model counting

An exact weighted model counter based on algebraic decision diagrams

Approximate Model Counter

d4 Model Counter

Entry to model counting competition 2021.

⚙️ A conflict-driven nogood learning answer set solver

The #SAT solver sharpSAT

Distributed and ressource elastic cube-and-conquer SAT & QBF solver

A fast SAT solver

gophersat, a SAT solver in Go

This repository contains the code of Intel(R) SAT Solver (IntelSAT)

The Chuffed CP solver

My unofficial picat http://picat-lang.org/ repository

A research platform and active library for generalised SAT solving

Ace (Ajax.org Cloud9 Editor)

A high performance general purpose code execution engine.

Build a full-featured administrative interface in ten minutes

Associate users with roles and permissions

AdonisJS is a TypeScript-first web framework for building web apps and API servers. It comes with support for testing, modern tooling, an ecosystem of official packages, and more.

This widget allows crop image before upload to server and send informations about crop in JSON format.

Imperavi Redactor widget for Yii 2

A widget to render animated CSS3 loading spinners with VML fallback for IE (sub repo split from yii2-widgets)