monsterkrampe e9f692a4cd

Continue implementing basic solving endpoint

2022-09-02 08:22:15 +02:00

..

adf

Add a random heuristic, based on rand-crate (#96)

2022-08-16 23:13:27 +02:00

datatypes

Add a channel to inform other threads about bdd updates (#95)

2022-08-17 12:43:35 +02:00

obdd

Add a channel to inform other threads about bdd updates (#95)

2022-08-17 12:43:35 +02:00

adf.rs

Continue implementing basic solving endpoint

2022-09-02 08:22:15 +02:00

adfbiodivine.rs

milestone/nogoods (#74)

2022-08-02 14:02:00 +02:00

datatypes.rs

Polish documentation (#51)

2022-04-21 14:18:59 +02:00

lib.rs

milestone/nogoods (#74)

2022-08-02 14:02:00 +02:00

nogoods.rs

Restore rust 1.62.1 conformity

2022-08-02 19:55:03 +02:00

obdd.rs

Continue implementing basic solving endpoint

2022-09-02 08:22:15 +02:00

parser.rs

milestone/nogoods (#74)

2022-08-02 14:02:00 +02:00

test.rs

REORGANISE with workspace (#29)

2022-03-03 13:37:14 +01:00