NitroSat is an open‑source SAT solver that welcomes contributions from anyone. We want to ensure a respectful, safe, and productive environment for all participants.
This code applies to all interactions with the NitroSat project, including but not limited to:
- Repository issues and pull requests
- Discussions on GitHub, Slack, Discord, or any mailing list
- Direct messages to maintainers
- Community events or talks
- Be respectful, courteous, and considerate.
- Use inclusive language; avoid slurs or hateful speech.
- Constructive criticism is encouraged; personal attacks are not.
- Keep discussions relevant and focused on the topic.
- Harassment, intimidation, or threats.
- Hate‑speech, demeaning language, or insults based on protected characteristics.
- Doxxing, unsolicited personal contact, or revealing private information.
- Spamming or self‑promotion unrelated to the project.
- Any behavior that makes anyone feel unsafe or unwelcome.
If you encounter or witness any misconduct:
- Open a GitHub issue using the "Report a Problem" template, or
- Email the project team at
conduct@nitrosat.org. All reports are taken seriously and handled confidentially to the extent possible.
Reports will be reviewed promptly by the core maintainers or a designated Code‑of‑Conduct committee. Depending on the severity, actions may include:
- A warning or reminder
- Removal of offending content
- Temporary or permanent bans from discussion channels
- Removal of repository access
For any questions or concerns, reach out to conduct@nitrosat.org or file a GitHub issue in this repository.
This Code of Conduct is based on the Contributor Covenant version 2.0. We are committed to upholding these principles throughout the NitroSat community.