Hi!

I am Tim Beurskens

I’ve recently published my first article on use cases for boolean satisfiability solvers. Satisfiability solvers have intrigued me for some time now so I decided to write an article on why I think more people should focus on SAT in their development efforts. Until now I’ve just scratched the surface of constraint solvers. Later I will write about more advanced solvers and practical applications.

If you want to check my own implementation of a boolean satisfiability solver in Rust, check out this repository.

Let me know what you think of it!

Other projects, such as my Lindenmayer-system carpet-pattern generator, will be posted on this website somewhere in the future as well.

All pictures used on this website are made by me. You can find more photos on my Flickr account.

If you’d like to use these pictures yourself feel free to contact me!