Screamer+
A Common Lisp library that extends SCREAMER with enhanced expressiveness for constraint logic programming.
Overview
SCREAMER+ is a Common Lisp library that builds upon the SCREAMER constraint logic programming system, providing additional expressive capabilities for solving constraint satisfaction problems. It enhances the original SCREAMER framework with more powerful constructs and utilities, making it easier to model and solve complex logical and combinatorial problems in Lisp.
Key Features
- Enhanced Expressiveness — Extends SCREAMER with additional constructs and utilities for more sophisticated constraint modeling
- Constraint Logic Programming — Provides a declarative programming environment for specifying and solving constraint satisfaction problems
- Common Lisp Integration — Seamlessly integrates with Common Lisp ecosystems and development workflows
- Backward Compatibility — Maintains compatibility with existing SCREAMER code while adding new capabilities
Philosophy
SCREAMER+ follows the philosophy of extending rather than replacing existing tools, building upon SCREAMER's solid foundation to provide more expressive power while maintaining the elegance and simplicity of constraint logic programming in Lisp.
Related Projects
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
