🦄

Ondra Lengál ondrik

🦄

ondrik / example.cc

Created March 5, 2025 07:01

	BDD a = ...;
	BDD b = ...;

	BDD gate_x(BDD op, size_t tgt)
	{
	auto x_op = [](BDD lhs, BDD rhs) {
	return BDD(tgt, rhs, lhs);
	};

	BDD result = bdd_operation(op, tgt, x_op);

ondrik / gist:c02d9a8ac1ed598d011093cf59a792ed

Created July 19, 2020 19:42

ondrik / gist:a90eb939f18073c2614a5b38275841a3

Created May 10, 2020 19:27

for i in DIRECTORY/* ; do cat $i | sed 's/.$//' > tmp_file ; mv tmp_file $i ; done

ondrik / gist:e44c5d5198c0754eb095dd9e71ac599c

Created April 24, 2020 07:19

ondrik / gist:949a6859f0dc5c4166deda4f3c62cae2

Created March 24, 2020 07:42

	Unhandled Exception:
	System.Exception: While processing \\A ( $pattern ) \\z ---> Microsoft.Automata.AutomataException: SetIsEmpty
	at Microsoft.Automata.BDD.GetMin () [0x0001c] in <ed37cda930154c81bcbcc9b765463995>:0
	at Microsoft.Automata.SymbolicRegexNode`1+<>c__DisplayClass109_0[S].<GetFixedPrefix>b__3 (Microsoft.Automata.BDD x) [0x00000] in <ed37cda930154c81bcbcc9b765463995>:0
	at Microsoft.Automata.SymbolicRegexNode`1+<>c__DisplayClass109_1[S].<GetFixedPrefix>b__4 (Microsoft.Automata.BDD x) [0x00000] in <ed37cda930154c81bcbcc9b765463995>:0
	at System.Array.ConvertAll[TInput,TOutput] (TInput[] array, System.Converter`2[TInput,TOutput] converter) [0x00032] in <d0e12f672b88444ab4b6d9b2ecf20142>:0
	at Microsoft.Automata.SymbolicRegexNode`1[S].GetFixedPrefix (Microsoft.Automata.CharSetSolver css) [0x000b2] in <ed37cda930154c81bcbcc9b765463995>:0
	at Microsoft.Automata.SymbolicRegex`1[S]..ctor (Microsoft.Automata.SymbolicRegexNode`1[S] sr, Microsoft.Automata.CharSetSolver css, Microsoft.Automata.BDD[] m

ondrik / Dockerfile

Last active August 26, 2022 08:09 — forked from rmoehn/Dockerfile

Dockerfile for running Anki inside a Docker Container on Debian Stable

	# Credits:
	#
	# - http://fabiorehm.com/blog/2014/09/11/running-gui-apps-with-docker/
	# - https://github.com/jfrazelle/dockerfiles/blob/master/spotify/Dockerfile
	#
	# Prepare (example):
	#
	# $ mkdir AnkiDocker
	# $ cd AnkiDocker
	# $ # Save this file to Dockerfile and adapt it to your needs.