LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

University of Passau

Julian Danner

Research Assistant and PhD Student @ Universität Passau

Followers

5

Public repos

17

Stars (recent)

22

Ecosystems

1

Projects

Repositories this builder owns.

discogs_wantlist_notifier

Home Assistant Custom Integration that offers a service to check your Discogs wantlist for offers on sale that meet specified quality and price criterions.

1

discogs_wantlist_watcher

Check your Discogs wantlist for items on sale that match specified quality and price criteria.

Conflict-Driven SAT Solver for propositional logic formulas in XOR-OR-AND normal form (XNF).

1

Graph-based DPLL-SAT Solver for propositional logic formulas in XOR-OR-AND normal form (XNF).

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

Xorricane-paper

Source code and benchmark suites for our paper 'Conflict-Driven SAT Solving Using XOR-OR-AND Normal Forms'

xnf_sat_solving

Source code of dissertation 'SAT Solving Using XOR-OR-AND Normal Forms and Cryptographic Fault Attacks'.

2xnf_sat_solving

Source code of paper 'SAT Solving Using XOR-OR-AND Normal Forms'

SAT Solver SATCH

Recent activity

Most recently pushed work.

j-danner/discogs_wantlist_notifier
pushed 25d ago
j-danner/discogs_wantlist_watcher
pushed 25d ago
j-danner/Xorricane
pushed 26d ago
j-danner/2-Xornado
pushed 1mo ago