LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Other

approxmc

Approximate Model Counter

OtherEmerging

Stars

—

Forks

—

Contributors

8

Last push

14d ago

Recent commits

Latest commits.

Fixing missing benchmarks
35feb97Mate Soos30mo ago
Bumping version to fix issues with pypi package
ddab1b3Mate Soos30mo ago
Merge pull request #47 from fanosta/run_tests_in_ci
07097dcMate Soos30mo ago
allow tests to be run from different directory
21eeeb1Marcel Nageler30mo ago
run Python tests using cibuildwheel
41d522bMarcel Nageler30mo ago

Bump version thanks to fixes by Marcel Nageler

336aec8Mate Soos30mo ago

Merge pull request #45 from fanosta/improve-python-exceptions

a1eeceeMate Soos30mo ago

Merge pull request #44 from fanosta/fix_adding_many_clauses

a40eb45Mate Soos30mo ago

Top contributors

Builders behind this project.