Profile of aaw · PyPI

Some features may not work without JavaScript. Please try enabling it if you encounter problems.

2 projects

cnfc

Last released Oct 6, 2026

A DIMACS CNF compiler

pgass

Last released Aug 15, 2026

A pretty good answer set solver with a pythonic API: build and solve answer set programs as typed Python objects.

Anthropic, PBC Visionary sponsor

Bloomberg Visionary sponsor

Hudson River Trading Visionary sponsor

Meta Visionary sponsor

NVIDIA Visionary sponsor

Microsoft Sustainability sponsor

Depot Continuous Integration

AWS Cloud computing and Security Sponsor

Datadog Monitoring

Google Download Analytics

Sentry Error logging

StatusPage Status page