search

devicons / devicon

Set of icons representing programming languages, designing & development tools
https://devicon.dev
MIT License
9.67k stars 2.3k forks source link

[ICON REQUEST]: Z3 Solver #1906

Open GermanMT opened 11 months ago

GermanMT commented 11 months ago

I have searched through the issues and didn't find my problem.

About the icon

Z3 an efficient SMT solver

Links and sources

https://www.microsoft.com/en-us/research/project/z3-3/ https://github.com/z3prover/z3

Additional information

Z3 is an efficient Satisfiability Modulo Theories (SMT) solver from Microsoft Research. Z3 is a solver for symbolic logic, a foundation for many software engineering tools. SMT solvers rely on a tight integration of specialized engines of proof. Each engine owns a piece of the global puzzle and implements specialized algorithms. For example, Z3’s engine for arithmetic integrates Simplex, cuts and polynomial reasoning, while an engine for strings are regular expressions integrate methods for symbolic derivatives of regular languages. A theme shared among many of the algorithms is how they exploit a duality between finding satisfying solutions and finding refutation proofs. The solver also integrates engines for global and local inferences and global propagation. Z3 is used in a wide range of software engineering applications, ranging from program verification, compiler validation, testing, fuzzing using dynamic symbolic execution, model-based software development, network verification, and optimization.

GermanMT commented 11 months ago

If developers of this project accept to add this tool icons, I want to contribute. If there any guidelines to develop the icons or something.

canaleal commented 11 months ago

Hey @GermanMT, thanks for being interested in devicon and thank you for the new icon suggestion.

As for guidelines, please follow all the steps outlined in the wiki. The wiki covers which version of icons can be created, how to update the devicon.json file and how to properly create a new pull Request to ensure your changes are merged.

If you have any questions, feel free to reach out at any time.

GermanMT commented 10 months ago

I have a doubt, the original logo is difficult to vectorize, but I have been working with Inkscape to vectorize it getting the following file in the dimensions that are required. My doubt is if it is valid this file that I leave you in this link of drive.

canaleal commented 10 months ago

Hey @GermanMT, apologies for the late reply. The dimensions are good, but I think the quality of the SVG might be in question. Let me try and see if there's a way to upscale the image from the Microsoft Website. I'll post my findings here.

GermanMT commented 10 months ago

Don't worry, I understand you have more to worry about. I'm sorry I accidentally closed the issue. I leave here another svg that I generated from another image in which I improved the resolution from the one on the microsoft page.

If you download it you will see that the problem is that the edges don't stay totally black, I don't know how to solve it. Reply when you can, thank you very much.

canaleal commented 10 months ago

Hey @GermanMT, sorry for the super late reply. I've started to enhance and convert the Z3 Logo into vector format. I'm taking my time with it because I want to make sure it looks exactly like the original. Once I'm done, I'll share the final vector graphic (SVG) here.

image

GermanMT commented 10 months ago

OK, thank you very much :)