I lazily didn't want to refactor my CSS myself, so after a failed attempt using ChatGPT for this, I found this CSS sat solver tool.
Just a note on macOS I managed to get this work by:
- Editing the pyproject.toml and changing
- lxml version to 5.1.0
- python to ^3.8
- then running poetry install
- then, also in the repo, running cd satcss && ln -s $(which z3) z3
- then poetry run satcss --help
I may have skipped a step or 2 but that was basically it. I then used satcss' output with this tool
Ha! :) Yeah, python installs / distribution it’s pretty much a dumpster fire it seems. But I’m not an expert at that. It’s kind of funny or ironic that given how easy to use python is supposed to be and how important it now it is with AI etc..
I don’t know … maybe these pythonistas like the arcane type of secret initiate knowledge required in order to participate?
Transformers are highly parallelized, and generative AI appends.
Even if you ignore that graph problems typically have more time complexity than LLMs offer during inference, they are circuit like and not turing machine like.
Without getting lucky with pre-training matches, it would be surprising if they were good at it at all.
There are a lot of bad examples on the internet, "try this, it worked for me" but only because of some other rule up the cascade that the person answering isn't aware of.
Just a note on macOS I managed to get this work by:
I may have skipped a step or 2 but that was basically it. I then used satcss' output with this toolhttps://css.github.io/csso/csso.html
to beautify and further organize it