Skip to content

Activity

Showing most recent first

aeon import: use correct type checking for booleans

paulevepushed 1 commit to master • e1fef55…3ae979e • 
on Jan 29

Deleted tag

paulevedeleted refs/tags/v4.0 • 
on Jan 10

attempt fix worflow

paulevepushed 1 commit to master • 75fa580…e1fef55 • 
on Jan 10

update instructions

paulevepushed 1 commit to master • ae03949…75fa580 • 
on Jan 10

Deleted branch

paulevedeleted use-aeon • 
on Jan 10

conda package: depends on aeon instead of pyeda

Pull request merge
paulevepushed 5 commits to master • f481591…ae03949 • 
on Jan 10

conda package: depends on aeon instead of pyeda

Force push
pauleveforce pushed to use-aeon • d5534b5…1e451a9 • 
on Jan 10

conda package: depends on aeon instead of pyeda

Force push
pauleveforce pushed to use-aeon • 920215d…d5534b5 • 
on Dec 30, 2024

use envvar MPBN_BOOLFUNCLIB for selecting backend

Force push
pauleveforce pushed to use-aeon • a57f873…920215d • 
on Dec 30, 2024

check argument validity

paulevepushed 1 commit to use-aeon • 731b2d0…a57f873 • 
on Dec 30, 2024

ci: add channel for biodivine_aeon

paulevepushed 1 commit to use-aeon • 3dc97a3…731b2d0 • 
on Dec 30, 2024

conda package: depends on aeon instead of pyeda

paulevepushed 1 commit to use-aeon • 5f0c328…3dc97a3 • 
on Dec 30, 2024

Deleted branch

paulevedeleted tuning • 
on Dec 30, 2024

aeon_impl: fix ASP code for BDD

paulevepushed 1 commit to use-aeon • f087975…5f0c328 • 
on Dec 30, 2024

enable choosing between aeon and pyeda for boolean function backend

paulevepushed 1 commit to use-aeon • f81f5b3…f087975 • 
on Dec 30, 2024

Finish the PyEDA cleanup.

paulevecreated use-aeon • f81f5b3 • 
on Dec 30, 2024

Add the baseline/current benchmark scripts.

paulevepushed 1 commit to benchmarks • 642b7aa…80a4af2 • 
on Dec 30, 2024

ignore venvs

paulevepushed 2 commits to benchmarks • 878a831…642b7aa • 
on Dec 30, 2024

Add test models

Force push
pauleveforce pushed to benchmarks • d5f2ffb…878a831 • 
on Dec 30, 2024

Add test models

paulevecreated benchmarks • d5f2ffb • 
on Dec 30, 2024

load all rules at once

paulevepushed 3 commits to master • 887754a…f481591 • 
on Aug 28, 2024

load all rules at once

paulevepushed 1 commit to tuning • b0f9b2c…f481591 • 
on Jun 11, 2024

tune min/max trap space solving options

paulevepushed 18 commits to tuning • 96f67f1…b0f9b2c • 
on Jun 11, 2024

add optimized count methods and --count option

paulevepushed 1 commit to master • c08d61a…887754a • 
on Jun 6, 2024

add conf for readthedocs

paulevepushed 1 commit to master • 1744c43…c08d61a • 
on May 30, 2024

add conf for readthedocs

paulevepushed 1 commit to master • b9cffb0…1744c43 • 
on May 30, 2024

publish doc for bn_of_asynchronous_transition_graph

paulevepushed 1 commit to master • 7515a98…b9cffb0 • 
on May 30, 2024

fix expression minization

paulevepushed 1 commit to master • 79bc3ea…7515a98 • 
on Apr 24, 2024

fix bn_of_asynchronous_digraph for constant 0

paulevepushed 1 commit to master • f8ad4ab…79bc3ea • 
on Apr 24, 2024

fix doctstring

paulevepushed 1 commit to master • ddaae80…f8ad4ab • 
on Apr 12, 2024