The project page for "ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming"
☆158Mar 15, 2026Updated 2 months ago
Alternatives and similar repositories for ConstraintLLM
Users that are interested in ConstraintLLM are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 🔧 Base64 Proxy Tool - Cloudflare Workers代理工具，支持递归Base64解码、自定义UA和多层编码处理 A Cloudflare Workers-based proxy tool with recursive Base64 decod…☆29Feb 27, 2026Updated 3 months ago
- ☆219Dec 27, 2025Updated 5 months ago
- Obsidian plugin to convert XMind mind map files to JSON Canvas format☆149Jan 31, 2026Updated 4 months ago
- ☆221Dec 27, 2025Updated 5 months ago
- Job Bodyguard is a Chromium Extension designed to watch your back in the job hunting☆65May 2, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 2026最新赚钱方式！黑U搬砖骗局？狠狠薅骗子羊毛！☆207Feb 19, 2026Updated 3 months ago
- A modern, high-performance mathematical expression evaluator built with Pratt Parsing and Stack-based VM☆76May 31, 2026Updated 2 weeks ago
- [AAAI'26] MoBGS: Motion Deblurring Dynamic 3D Gaussian Splatting for Blurry Monocular Video☆93Jan 30, 2026Updated 4 months ago
- ☆209Oct 1, 2025Updated 8 months ago
- ☆192Jul 18, 2025Updated 10 months ago
- A Management System for a Health Care Facility. The system includes Registration of patients, Making appointments, Storing patient record…☆88Nov 20, 2025Updated 6 months ago
- A comprehensive Library Management System built using Java. This application features user-friendly interfaces for managing books, member…☆65Nov 20, 2025Updated 6 months ago
- ☆206Jan 13, 2025Updated last year
- ☆127Dec 13, 2025Updated 6 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- QAA AirType 是一个轻量级的局域网输入板，让你可以通过手机端的输入法（如豆包语音输入）来实现电脑端的文字输入（与Agent对话）。☆166Dec 1, 2025Updated 6 months ago
- 一个计算机系统研究生的实时资源整理。A Real-time Curation for Computer System explorer.☆122Jan 22, 2026Updated 4 months ago
- XSStrike-go☆125May 21, 2026Updated 3 weeks ago
- A systems-engineering playbook for delivering complex hardware–software programs from 0→1. Includes reusable templates, execution framewo…☆179Feb 6, 2026Updated 4 months ago
- ☆218Dec 25, 2025Updated 5 months ago
- 🚀 AI-powered JavaScript Decompiler & Deobfuscator. 基于 AI 与 AST 的 JS 代码分析与混淆还原工具，把不可读的构建产物变成人能看懂的代码。☆128Jan 7, 2026Updated 5 months ago
- ☆270Nov 24, 2025Updated 6 months ago
- ☆198Oct 1, 2025Updated 8 months ago
- 基于机器学习的网络安全检测系统 | 集成Kitsune/LUCID算法 | 支持ML/DL/RL模型 | 99.58%攻击检测准确率 | 19913 QPS | Docker/K8s部署☆207Jun 7, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- mall项目是一套电商系统☆210Oct 17, 2025Updated 7 months ago
- ☆218Oct 8, 2023Updated 2 years ago
- Rime-AI for macOS☆254Dec 10, 2025Updated 6 months ago
- 这是一个用于 Telegram Bot 管理和 HAX.CO.ID 数据中心监控的组合型项目，支持 **Docker 部署** 和 **服务器后台运行** 两种模式。☆281Nov 27, 2025Updated 6 months ago
- telegram voice chat ai bot with image generate☆261Jun 3, 2026Updated last week
- 基于 AI 完整保留排版的 PDF 文档全文双语翻译☆105Mar 25, 2026Updated 2 months ago
- Vue节日祝福版本：曾经我有能力给她也做一个，但是因为个人愚昧，未能给她做，挺后悔一些事情的，希望你们不留遗憾。☆338Dec 31, 2024Updated last year
- 一款基于vue3+ts打造的多功能移动端组件库，加入了类型提示等功能，精美组件多功能自定义☆347Updated this week
- ☆182Oct 1, 2025Updated 8 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆69May 13, 2026Updated last month
- 去中心化工具包☆464May 23, 2026Updated 3 weeks ago
- 便捷注册ipv6域名及裂变，更换CF边缘证书机构☆101Nov 12, 2025Updated 7 months ago
- 使用 Telegram 机器人对 mihomo 远程规则文件进行自动化维护☆74Updated this week
- 统一的前端开发工具集，旨在整合复杂状态、封装常用组件，简化的整个开发流程。☆98Mar 12, 2026Updated 3 months ago
- A powerful terminal coding agent based on Claude Agent SDK. Better then Claude Code when start up a new project, or u have no idea. Just …☆121May 28, 2026Updated 2 weeks ago
- NebulaKit is a Metal-based iOS 3D scene and terrain rendering engine designed for building interactive 3D browsers, terrain visualization…☆264Dec 24, 2025Updated 5 months ago