Noureddine RAMDI

🚀

Noureddine RAMDI Dinour

Lead Developer & AI Enthusiast — Software Architecture, AI/LLM, Infrastructure Automation

Organizations

1 results for Maxsat

agent-sat: Autonomous AI agent discovering MaxSAT solving techniques through iterative experimentation
agent-sat is an autonomous AI agent system where Claude Code learns to solve weighted MaxSAT problems by iterating solver improvements and coordinating via git, solving 220/229 benchmarks.
github-stars autonomous-ai maxsat ai-agents python Created Mon, 04 May 2026 10:23:02 +0000