
NxBRE
Drools
OptaPlanner
DecisionRules.io
GoRules.io
MiniZinc
Simple Rule Engine
Decisionable
assertpy
grappa
NxBREDrools - Drools introduces the Business Logic integration Platform which provides a unified and integrated platform for Rules, Workflow and Event Processing.
grappa - grappa is an declarative, verbose, and expressive assertion library for Python.
OptaPlanner - Mathematical optimization software
DecisionRules.io - Business rule engine that lets you create and deploy business rules, while all your rules run in a secure and scalable cloud. Unlike other rule engines, you can create your first rule in 5 minutes and make 100k decisions in a minute via API.
GoRules.io - Business logic humans can read and machines can run.
MiniZinc - MiniZinc is a free and open-source constraint modeling language.