LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Haskell

branch-and-prune

An abstract version of the branch and prune constraint solving algorithm in Haskell

HaskellEmerging

Stars

—

Forks

—

Contributors

2

Last push

5mo ago

Recent commits

Latest commits.

Merge branch 'add_evalInfo_to_steps'
40bb925Michal Konecny5mo ago
evalInfo produced by pruning -> progress step record
c496038Michal Konecny5mo ago
Merge branch 'main' into add_evalInfo_to_steps
04dc70bMichal Konecny5mo ago
Merge branch 'merge_prune_split_steps'
c990ce0Michal Konecny5mo ago
fix regression of splitting unused variables
20809b9Michal Konecny5mo ago

Merge branch 'merge_prune_split_steps'

22a3998Michal Konecny5mo ago

report prune and split as one "progress" step

0975c67Michal Konecny5mo ago

move CanPrune from paving to B&P module

8602b8fMichal Konecny5mo ago

Top contributors

Builders behind this project.