Search results

Bug: Non-deterministic solver due to collision in Datalog heuristic

Status: Open.

#64 In abcorrea/powerlifted;

· KianBahasadri opened on Mar 2, 2026

DBState(int num) doesn't set predicate_symbol

Status: Open.

#63 In abcorrea/powerlifted;

· PLauerRocks opened on Jan 29, 2026

Are there plans to add support for <=, >=, <, and >?

Status: Open.

#59 In abcorrea/powerlifted;

· suddenlyAstral opened on Dec 1, 2024

Powerlifted does not compile with g++ (GCC) 14.1.1

Status: Open.

#50 In abcorrea/powerlifted;

· galvusdamor opened on Jun 12, 2024

Precompute inequality checks

performance optimization

refactoringChange in code quality without adding new featuresChange in code quality without adding new features

Status: Open.

#23 In abcorrea/powerlifted;

· abcorrea opened on Jul 13, 2020

Use nested Join depending on the relations size

enhancementNew feature or requestNew feature or request

Status: Open.

#16 In abcorrea/powerlifted;

· abcorrea opened on Jun 2, 2020