logic-solver

General satisfiability solver for logic problems

v2.0.1 URL: https://unpkg.com/logic-solver@2.0.1/logic-solver.js

Open Browse Files

sat solver logic constraint

@salusoft89/planegcs

A wasm build and a simple wrapper of the FreeCAD PlaneGCS (2D geometric constraint solver)

v1.1.7 URL: https://unpkg.com/@salusoft89/planegcs@1.1.7/dist/index.js

Open Browse Files

wasm freecad gemetric solver 2d plane geometry constraint

consys-solver

consys-solver is a tool to find feasible model assignments for consys constraint systems.

v1.0.13 URL: https://unpkg.com/consys-solver@1.0.13/index.js

Open Browse Files

consys solver solution model constraints constraint

graphql-constraint-directive

Validate GraphQL fields

v6.0.0 URL: https://unpkg.com/graphql-constraint-directive@6.0.0/index.js

Open Browse Files

graphql validate validation validator directive constraint

fdjs

Finite Domain Constrain Solver

v0.1.0 URL: https://unpkg.com/fdjs@0.1.0/fd.js

Open Browse Files